Author of the publication

Application of contract-based verification techniques for hybrid automata to surgical robotic systems.

, , , , , and . ECC, page 2310-2315. IEEE, (2014)

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

Performance Evaluation of Task Control in Teleoperation., , , and . ICRA, page 3690-3695. IEEE, (2004)FoReCast: Real-time Foveated Rendering and Unicasting for Immersive Remote Telepresence., , , , , and . ICAT-EGVE, page 75-84. Eurographics Association, (2022)Inductive Learning of Surgical Task Knowledge from Intra-operative Expert Feedback (short paper)., , , and . AIRO@AI*IA, volume 3417 of CEUR Workshop Proceedings, page 48-54. CEUR-WS.org, (2022)Neurophysiological measures for users' training objective assessment during simulated robot-assisted laparoscopic surgery., , , , , , , and . EMBC, page 981-984. IEEE, (2016)Neural Networks for the Segmentation of Teleoperation Tasks., , , and . Presence Teleoperators Virtual Environ., 2 (1): 54-65 (1993)Energy autonomous sensor systems: Towards a ubiquitous sensor technology., , , , , , , , , and 1 other author(s). Microelectron. J., 41 (11): 740-745 (2010)Robot-Assisted Electrical Impedance Scanning system for 2D Electrical Impedance Tomography tissue inspection., , , and . EMBC, page 3729-3733. IEEE, (2021)Autonomous Needle Manipulation for Robotic Surgical Suturing Based on Skills Learned from Demonstration., , , , and . CASE, page 235-241. IEEE, (2021)Robust 3D Pose Estimation of a Laparoscopic Instrument with three Landmarks., , , , and . STAG, page 7-14. Eurographics Association, (2015)Dynamics simulation for the training of teleoperated retrieval of spent nuclear fuel., , , , and . ICRA, page 5012-5017. IEEE, (2012)