Althoff, M.
Build Your Own Reachability Analyzer with CORA
Post-proceedings of the Summer School Marktoberdorf: Safety and Security of Software Systems - Logics, Proofs, Applications
2020

Kochdumper, Niklas and Althoff, Matthias
Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems
Proc. of the 59th Conference on Decision and Control
2020

Vogel, Paul;Althoff, Matthias
Rekonstruktion von durch vollautomatisierte Fahrzeuge verursachten Verkehrsunfällen
InTeR - Zeitschrift zum Innovations- und Technikrecht
2020
8
2
89-94

Geretti, Luca;Alexandre Dit Sandretto, Julien;Althoff, Matthias;Benet, Luis;Chapoutot, Alexandre;Chen, Xin;Collins, Pieter;Forets, Marcelo;Freire, Daniel;Immler, Fabian;Kochdumper, Niklas;Sanders, David P.;Schilling, Christian
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
49-75
Proc. of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems
EasyChair
2020

Althoff, Matthias;Bak, Stanley;Bao, Zongnan;Forets, Marcelo;Frehse, Goran;Freire, Daniel;Kochdumper, Niklas;Li, Yangge;Mitra, Sayan;Ray, Rajarshi;Schilling, Christian;Schupp, Stefan;Wetzlinger, Mark
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
16-48
Proc. of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems
EasyChair
2020

Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
2020 59th IEEE Conference on Decision and Control (CDC)
2020

Kochdumper, Niklas;Althoff, Matthias
Reachability analysis for hybrid systems with nonlinear guard sets
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
ACM
2020

Kochdumper, Niklas;Schürmann, Bastian;Althoff, Matthias
Utilizing dependencies to obtain subsets of reachable sets
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
ACM
2020

Matthias Althoff, Matthias Mayer, Robert Müller
Automatic Synthesis of Human Motion from Temporal Logic Specifications
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
2020

Jun Yan, Zifeng Peng, Huilin Yin, Jie Wang, Xiao Wang, Yuesong Shen, Walter Stechele, Daniel Cremers
Trajectory Prediction for Intelligent Vehicles Using Spatial-Attention Mechanism
IET Intelligent Transport Systems
2020