December 2020Linear Differential Games for Cooperative Behavior Planning of Autonomous Vehicles Using Mixed-Integer ProgrammingTobias Kessler, Klemens Esterle and Alois Knoll
In
Proceedings of 59th IEEE Conference on Decision and Control (CDC),
Seogwipo, South Korea,
DetailsBIB
November 2020Enhancing State-of-the-art Safety Case Patterns to Support Change Impact AnalysisCarmen Cârlan and Barbara Gallina
In
Proceedings of the 30th European Safety and Reliability Conference (ESREL-2020),
DetailsURLBIB
October 20206D Pose Estimation for Flexible Production with Small Lot Sizes based on CAD Models using Gaussian Process Implicit SurfacesJianjie Lin, Markus Rickert and Alois Knoll
In
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
Las Vegas, NV, USA,
DetailsBIB
October 2020A Discussion on Context-awareness to Better Support the IoT Cloud/Edge ContinuumDaniel Maniglia da Silva and Rute C. SofiaIEEE Access,
():,
October 2020.
DetailsURLBIB
October 2020BARK: Open Behavior Benchmarking in Multi-Agent EnvironmentsJulian Bernhard, Klemens Esterle, Patrick Hart and Tobias Kessler
In
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
Las Vegas, NV, USA,
DetailsBIB
October 2020Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work ProductsCarmen Cârlan, Daniel Petrișor, Barbara Gallina and Hannes Schoenhaar
In
Proceedings of the 10th IEEE International Workshop on Software Certification (WoSoCer) co-located with ISSRE,
IEEE.
DetailsURLBIB
October 2020Formalizing Traffic Rules for Machine InterpretabilityKlemens Esterle, Luis Gressenbuch and Alois Knoll
In
Proceedings of the 3rd IEEE Connected and Automated Vehicles Symposium (CAVS),
Victoria, B.C. Canada,
DetailsBIB
October 2020Graph Neural Networks and Reinforcement Learning for Behavior Generation in Semantic EnvironmentsPatrick Hart and Alois Knoll
In
In Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV),
DetailsBIB
October 2020Optimal Behavior Planning for Autonomous Driving: A Generic Mixed-Integer FormulationKlemens Esterle, Tobias Kessler and Alois Knoll
In
Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV),
Las Vegas, NV, USA,
DetailsBIB
September 2020FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance CasesCarmen Cârlan and Daniel Ratiu
In
Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP),
volume 12234 of LNCS,pages 298–306,
Springer.
DetailsDOIBIB
