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

Abdulaziz, Mohammad;Koller, Lukas
Formal Semantics and Formally Verified Validation for Temporal Planning
Proceedings of the AAAI Conference on Artificial Intelligence
2022
36
9
9635-9643

More ...

Eichelbeck, Michael;Markgraf, Hannah;Althoff, Matthias
Contingency-constrained economic dispatch with safe reinforcement learning
2022 21st IEEE International Conference on Machine Learning and Applications (ICMLA)
IEEE
2022

More ...

Gaßmann, Victor;Althoff, Matthias
Implementation of Ellipsoidal Operations in CORA 2022
EPiC Series in Computing
EasyChair
2022

More ...

Wetzlinger, M.; Kulmburg, A.; Le Penven, A.; Althoff, M.
Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
Nonlinear Analysis: Hybrid Systems
2022
46
101252

More ...

Verdier, Cees Ferdinand;Kochdumper, Niklas;Althoff, Matthias;Mazo, Manuel
Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Automatica
2022
139

More ...

Schepp, Sven R.;Thumm, Jakob;Liu, Stefan B.;Althoff, Matthias
SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis
Proc. of the IEEE International Conference on Robotics and Automation
2022

More ...

Roehm, Hendrik;Rausch, Alexander;Althoff, Matthias
Reachset Conformance and Automatic Model Adaptation for Hybrid Systems
Mathematics
2022
10
19

More ...

Lopez, Diego Manzanas;Althoff, Matthias;Benet, Luis;Chen, Xin;Fan, Jiameng;Forets, Marcelo;Huang, Chao;Johnson, Taylor T;Ladner, Tobias;Li, Wenchao;Schilling, Christian;Zhu, Qi
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)
EasyChair
2022

More ...

Liu, Stefan B.;Giusti, Andrea;Althoff, Matthias
Velocity Estimation of Robot Manipulators: An Experimental Comparison
IEEE Open Journal of Control Systems
2023
2
1-11

More ...

Gressenbuch, Luis;Esterle, Klemens;Kessler, Tobias;Althoff, Matthias
MONA: The Munich Motion Dataset of Natural Driving
2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)
2022