Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines.
Vladimir Estivill-CastroRené HexelPublished in: SIMPAR (2016)
Keyphrases
- robotic systems
- finite state machines
- model checking
- finite state automata
- digital circuits
- asynchronous circuits
- epistemic logic
- mobile robot
- verification method
- temporal logic
- bounded model checking
- vision system
- autonomous robots
- object manipulation
- imitation learning
- search and rescue
- control architecture
- robotic manipulator
- real time
- multi robot
- hidden markov models
- databases
- collective behavior
- supervised learning