Author of the publication

Online safety verification of trajectories for unmanned flight with offline computed robust invariant sets.

, , and . IROS, page 3470-3477. IEEE, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Anytime Safety Verification of Autonomous Vehicles., and . ITSC, page 1708-1714. IEEE, (2018)A task-driven algorithm for configuration synthesis of modular robots., , and . ICRA, page 5203-5209. IEEE, (2016)Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots., and . IROS, page 370-376. IEEE, (2018)Evolutionary cost-optimal composition synthesis of modular robots considering a given task., , , and . IROS, page 3562-3568. IEEE, (2017)Computing possible driving corridors for automated vehicles., and . Intelligent Vehicles Symposium, page 160-166. IEEE, (2017)Efficient Mixed-Integer Programming for Longitudinal and Lateral Motion Planning of Autonomous Vehicles., , and . Intelligent Vehicles Symposium, page 1954-1961. IEEE, (2018)Safety control of robots under Computed Torque control using reachable sets., and . ICRA, page 331-338. IEEE, (2015)Calibration of Controlled Markov Chains for Predicting Pedestrian Crossing Behavior Using Multi-objective Genetic Algorithms., , and . ITSC, page 1032-1038. IEEE, (2019)Fail-Safe Motion Planning for Online Verification of Autonomous Vehicles Using Convex Optimization., and . IEEE Trans. Robotics, 37 (3): 798-814 (2021)Model-Based Probabilistic Collision Detection in Autonomous Driving., , and . IEEE Trans. Intell. Transp. Syst., 10 (2): 299-310 (2009)