Sign in

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

Luzie SchreiterDavide BresolinMarta CapiluppiJörg RaczkowskyPaolo FioriniHeinz Wörn
Published in: ECC (2014)
Keyphrases
  • robotic systems
  • hybrid automata
  • mobile robot
  • real time
  • supply chain
  • vision system
  • model checking