Login / Signup

On Synthesis and Verification from Event Diagrams in a Robot Theatre Application.

Marek A. PerkowskiAditya BhutadaMartin LukacMathias Sunardi
Published in: ISMVL (2013)
Keyphrases
  • mobile robot
  • vision system
  • model checking
  • human robot interaction
  • data mining
  • structural analysis
  • robot control
  • robot arm