User: Guest  Login
Sort by:
and:
next

Lin, Yuanfei; Althoff, Matthias
Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories
2022 IEEE Intelligent Vehicles Symposium (IV)
2022
Xiao Wang
Ensuring Safety of Learning-Based Motion Planners Using Control Barrier Functions
IEEE Robotics and Automation Letters
2022
Yuanfei Lin
Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories
2022
Kochdumper, Niklas;Gassert, Philipp;Althoff, Matthias
Verification of Collision Avoidance for CommonRoad Traffic Scenarios
Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems
2021
Luca Geretti, Julien Alexandre dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Pieter Collins, Parasara Sridhar Duggirala, Marcelo Forets, Edward Kim, Uziel Linares, David P. Sanders, Christian Schilling, Mark Wetzlinger
ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Proc. of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)
EasyChair
2021
Althoff, M.
Ensuring Flexibility and Safety through Self-Programming Modular Robots
Proc. of the IROS Workshop on Modular and Reconfigurable Robot Mechatronics and Control: Challenges and Recent Advancements
2021
Pek, C.;Althoff, M.
Fail-safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization
IEEE Transactions on Robotics
2021
37
3
798--814
Schürmann, Bastian;Althoff, Matthias
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems
IEEE Transactions on Automatic Control
2021
66
3
981--994
Camara, F.;Bellotto, N.;Cosar, S.;Weber, F.;Nathanael, D.;Althoff, M.;Wu, J.;Ruenz, J.;Dietrich, A.;Markkula, G.;Schieben, A.;Tango, F.;Merat, N.;Fox, C.
Pedestrian Models for Autonomous Driving Part II: High-Level Models of Human Behavior
IEEE Transactions on Intelligent Transportation Systems
2021
22
9
5453–5472
Camara, F.;Bellotto, N.;Cosar, S.;Nathanael, D.;Althoff, M.;Wu, J.;Ruenz, J.;Dietrich, A.;Fox, C.
Pedestrian Models for Autonomous Driving Part I: Low-Level Models, From Sensing to Tracking
IEEE Transactions on Intelligent Transportation Systems
2021
22
10
6131–6151
Sort by:
and:
next