Author of the publication

Formal verification of robotic surgery tasks by reachability analysis.

, , , , and . Microprocess. Microsystems, 39 (8): 836-842 (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

Society news.. IEEE Robotics Autom. Mag., 12 (2): 5-6 (2005)Dynamic Movement Primitives: Volumetric Obstacle Avoidance Using Dynamic Potential Functions., , , , and . CoRR, (2020)Dynamic Movement Primitives: Volumetric Obstacle Avoidance Using Dynamic Potential Functions., , , , and . J. Intell. Robotic Syst., 101 (4): 79 (2021)Generalization of Auto-Regressive Hidden Markov Models to Non-Linear Dynamics and Unit Quaternion Observation Space., and . IEEE Robotics Autom. Lett., 8 (9): 5847-5853 (September 2023)Unsupervised Identification of Surgical Robotic Actions From Small Homogeneous Datasets., and . IEEE Robotics Autom. Lett., 6 (4): 8205-8212 (2021)Neural Networks for the Segmentation of Teleoperation Tasks., , , and . Presence Teleoperators Virtual Environ., 2 (1): 54-65 (1993)Localization and Sensing for Hopping Robots., , and . Auton. Robots, 18 (2): 185-200 (2005)Performance Evaluation of Task Control in Teleoperation., , , and . ICRA, page 3690-3695. IEEE, (2004)GPU-based physical cut in interactive haptic simulations., , , , and . Int. J. Comput. Assist. Radiol. Surg., 6 (2): 265-272 (2011)Robust 3D Pose Estimation of a Laparoscopic Instrument with three Landmarks., , , , and . STAG, page 7-14. Eurographics Association, (2015)