Author of the publication

Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability.

, , , , , , and . RO-MAN, page 1283-1288. IEEE, (2021)

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

Model-Based Reasoning for Self-Repair of Autonomous Mobile Robots., , , and . Model-Based Reasoning in Science, Technology, and Medicine, volume 64 of Studies in Computational Intelligence, Springer, (2007)Validation of Relevant Parameters of Sensitive Manipulators for Human-Robot Collaboration., , , and . RAAD, volume 49 of Mechanisms and Machine Science, page 242-252. Springer, (2017)Analysis of Kinematic Singularities for a Serial Redundant Manipulator with 7 DOF., , and . ARK, volume 8 of Springer Proceedings in Advanced Robotics, page 179-186. Springer, (2018)Mode Estimation of Probabilistic Hybrid Systems., and . HSCC, volume 2289 of Lecture Notes in Computer Science, page 253-266. Springer, (2002)Practically stabilizing motion control of mobile robots with steering wheels., and . CCA, page 1312-1317. IEEE, (2014)Supplementary Material To: A Unified Perception Benchmark for Capacitive Proximity Sensing Towards Safe Human-Robot Collaboration (HRC)., , , , , , , , , and 2 other author(s). (March 2021)On-line kinematics reasoning for reconfigurable robot drives., , , and . ICRA, page 5441-5446. IEEE, (2010)On the trustability of the safety measures of collaborative robots: 2D Collision-force-map of a sensitive manipulator for safe HRC., , , , and . CASE, page 1676-1683. IEEE, (2019)On the repeatability of planar 2R manipulators with rotary encoders., , and . ICAR, page 1-6. IEEE, (2013)Model-Based Programming of Fault-Aware Systems., , , , , and . AI Magazine, 24 (4): 61-76 (2004)