Author of the publication

Effortless creation of safe robots from modules through self-programming and self-verification.

, , , and . Sci. Robotics, (2019)

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

Optimizing performance in automation through modular robots., and . ICRA, page 4044-4050. IEEE, (2020)Supplementary data for "Velocity Estimation of Robot Manipulators: An Experimental Comparison"., , and . (November 2021)Reachset Conformance of Forward Dynamic Models for the Formal Analysis of Robots., and . IROS, page 370-376. IEEE, (2018)Interval-Arithmetic-Based Robust Control of Fully Actuated Mechanical Systems., , and . IEEE Trans. Control. Syst. Technol., 30 (4): 1525-1537 (2022)Reachability-based Identification, Analysis, and Control Synthesis of Robot Systems., , and . CoRR, (2021)Online Verification of Impact-Force-Limiting Control for Physical Human-Robot Interaction., and . IROS, page 777-783. IEEE, (2021)Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset-Conformant Identification., , and . IEEE Trans. Robotics, 39 (5): 3776-3790 (October 2023)SaRA: A Tool for Safe Human-Robot Coexistence and Collaboration through Reachability Analysis., , , and . ICRA, page 4312-4317. IEEE, (2022)Effortless creation of safe robots from modules through self-programming and self-verification., , , and . Sci. Robotics, (2019)Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics., , , and . IRC, page 41-48. IEEE Computer Society, (2018)