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

Authors: Schreiter, Luzie, Bresolin, Davide, Capiluppi, Marta, Raczkowsky, Joerg, Fiorini, Paolo, Woern, Heinz

Source: 2014 European Control Conference (ECC) Control Conference (ECC), 2014 European. :2310-2315 Jun, 2014

Relation: 2014 European Control Conference (ECC)

Modeling and verification of a robotic surgical system using Hybrid Input/Output Automata

Authors: Capiluppi, Marta, Schreiter, Luzie, Fiorini, Paolo, Raczkowsky, Joerg, Woern, Heinz

Source: 2013 European Control Conference (ECC) Control Conference (ECC), 2013 European. :4238-4243 Jul, 2013

Relation: 2013 European Control Conference (ECC)

ROS-Based Cognitive Surgical Robotics

Authors: Bihlmaier, Andreas, Beyl, Tim, Nicolai, Philip, Kunze, Mirko, Mintenbeck, Julien, Schreiter, Luzie, Brennecke, Thorsten, Hutzl, Jessica, Raczkowsky, Jörg, Wörn, Heinz

Source: Studies in computational intelligence. 625:317-342

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN605092571&indx=1&recIds=ETOCRN605092571

Hierarchical Task Networks as Domain-Specific Language for Planning Surgical Interventions.

Authors: Bihlmaier, Andreas, Schreiter, Luzie, Raczkowsky, Jörg, Wörn, Heinz

Source: Neuroenhancement: How Mental Training & Meditation can Promote Epistemic Virtue; 2016, p1095-1105, 11p