Verification of Autonomous Robots: A Roboticist’s Bottom-Up Approach

This publication has 47 references indexed in Scilit:

• Robot task plan representation by Petri nets: modelling, identification, analysis and execution
  Autonomous Robots, 2012
• Guaranteeing functional safety: design for provability and computer-aided verification
  Autonomous Robots, 2011
• Platas—Integrating Planning and the Action Language Golog
  KI - Künstliche Intelligenz, 2011
• Formal methods
  ACM Computing Surveys, 2009
• A survey of robot learning from demonstration
  Robotics and Autonomous Systems, 2009
• Computational techniques for the verification of hybrid systems
  Proceedings of the IEEE, 2003
• The synchronous languages 12 years later
  Proceedings of the IEEE, 2003
• GOLOG: A logic programming language for dynamic domains
  The Journal of Logic Programming, 1997
• The synchronous approach to reactive and real-time systems
  Proceedings of the IEEE, 1991
• The ESTEREL language
  Proceedings of the IEEE, 1991