User: Guest  Login
Sort by:
and:
More ...

Lohmiller, Winfried;Gassert, Philipp;Slotine, Jean-Jacques
Deep MinMax Networks
2021 60th IEEE Conference on Decision and Control (CDC)
IEEE
2021

More ...

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

More ...

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

More ...

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

More ...

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

More ...

Schürmann, Bastian;Althoff, Matthias
Optimizing Sets of Solutions for Controlling Constrained Nonlinear Systems
IEEE Transactions on Automatic Control
2021
66
3
981--994

More ...

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

More ...

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

More ...

Althoff, M.;Rath, J.~J.
Comparison of Guaranteed State Estimators for Linear Time-Invariant Systems
Automatica
2021
130

More ...

Althoff, M.;Frehse, G.;Girard, A.
Set Propagation Techniques for Reachability Analysis
Annual Review of Control, Robotics, and Autonomous Systems
2021
4
1
369--395