Author of the publication

SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis.

, , , and . ICRA, page 4312-4317. IEEE, (2022)

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)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)Calibration of Controlled Markov Chains for Predicting Pedestrian Crossing Behavior Using Multi-objective Genetic Algorithms., , and . ITSC, page 1032-1038. IEEE, (2019)Pedestrian Models for Autonomous Driving Part II: high level models of human behaviour., , , , , , , , , and 4 other author(s). CoRR, (2020)Road occupancy prediction of traffic participants., , and . ITSC, page 99-105. IEEE, (2013)On-the-Fly Control Design of Modular Robot Manipulators., and . IEEE Trans. Contr. Sys. Techn., 26 (4): 1484-1491 (2018)Set-Based Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules., , , and . ITSC, page 2704-2711. IEEE, (2018)Utilizing dependencies to obtain subsets of reachable sets., , and . HSCC, page 1:1-1:10. ACM, (2020)Reachability analysis for hybrid systems with nonlinear guard sets., and . HSCC, page 2:1-2:10. ACM, (2020)