Silvia Magdici and Mircea Lazar
On probabilistic state space abstraction of deterministic switched systems
551-558
Proc. of the 19th IEEE International Conference on System Theory, Control and Computing
IEEE
2015

Mesesan, G.;Icer, E.;Althoff, M.
Hierarchical Genetic Path Planner for Highly Redundant Manipulators
Proc. of the Workshop on Task Planning for Intelligent Robots in Service and Manufacturing
2015

Han, D.;Althoff, M.
Control Synthesis for Non-Polynomial Systems: A Domain of Attraction Perspective
1160–1167
Proc. of the 54th IEEE Conference on Decision and Control
2015

Rizaldi, A.;Althoff, M.
Formalising Traffic Rules for Accountability of Autonomous Vehicles
1658–1665
Proc. of the 18th IEEE International Conference on Intelligent Transportation Systems
2015

Giusti, A.;Althoff, M.
Automatic Centralized Controller Design for Modular and Reconfigurable Robot Manipulators
3268-3275
Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems
2015

Althoff, D.;Althoff, M.;Scherer, S.
Online Safety Verification of Trajectories for Unmanned Flight with Offline Computed Robust Invariant Sets
3470-3477
Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems
2015

Söntges, S.;Althoff, M.
Determining the Nonexistence of Evasive Trajectories for Collision Avoidance Systems
956–961
Proc. of the 18th IEEE International Conference on Intelligent Transportation Systems
2015

Althoff, M.
An Introduction to CORA 2015
120–151
Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems
2015

Rizaldi, A.;Söntges, S.;Althoff, M.
On Time-Memory Trade-Off for Collision Detection
1173–1180
Proc. of the IEEE Intelligent Vehicles Symposium
2015

Pereira, A.;Althoff, M.
Safety Control of Robots under Computed Torque Control using Reachable Sets
Proc. of the IEEE International Conference on Robotics and Automation
2015