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

Cognitive Robotic Architecture for Semi-Autonomous Execution of Manipulation Tasks in a Surgical Environment., , , , , , , , and . IROS, page 7827-7833. IEEE, (2019)Cutaneous feedback in teleoperated robotic hands., , and . IECON, page 686-691. IEEE, (2016)A soft, sensorized gripper for delicate harvesting of small fruits., , and . Comput. Electron. Agric., (October 2023)Minimal controllability time for systems with nonlinear drift under a compact convex state constraint., , and . CoRR, (2020)Weak Energy Shaping for Stochastic Controlled Port-Hamiltonian Systems., , and . SIAM J. Control. Optim., 61 (5): 2902-2926 (October 2023)Sparse calibration of an extreme Adaptive Optics system., , and . CDC, page 1159-1164. IEEE, (2010)Mixed H2/H∞ control: the discrete-time case., and . CDC, page 1789-1794. IEEE, (2003)Stabilization of bilateral teleoperators with asymmetric stochastic delay., , and . Syst. Control. Lett., (2021)On cyber-physical attacks in bilateral teleoperation systems: An experimental analysis., , , and . ICPS, page 159-166. IEEE, (2018)Robust Real-Time Needle Tracking in 2-D Ultrasound Images Using Statistical Filtering., , , , and . IEEE Trans. Control. Syst. Technol., 25 (3): 966-978 (2017)