Login
Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction
754-760
2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
2021
Build Your Own Reachability Analyzer with CORA
Post-proceedings of the Summer School Marktoberdorf: Safety and Security of Software Systems - Logics, Proofs, Applications
2020
Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems
Proc. of the 59th Conference on Decision and Control
2020
Rekonstruktion von durch vollautomatisierte Fahrzeuge verursachten Verkehrsunfällen
InTeR - Zeitschrift zum Innovations- und Technikrecht
2020
8
2
89-94
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
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
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
2020 59th IEEE Conference on Decision and Control (CDC)
2020
Reachability analysis for hybrid systems with nonlinear guard sets
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
ACM
2020
Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
IEEE Transactions on Automatic Control
2021
66
9
4043 - 4058
Utilizing dependencies to obtain subsets of reachable sets
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
ACM
2020