Login / Signup

A framework for formal specification of robotic constraint-based tasks and their concurrent execution with online qos monitoring.

Enea ScioniGianni BorghesanHerman BruyninckxMarcello Bonfè
Published in: IROS (2014)
Keyphrases
  • formal specification
  • real time
  • concurrent execution
  • specification language
  • model checking
  • formal methods
  • database systems
  • object oriented design
  • general purpose
  • software systems
  • concurrent systems