A formal toolchain for offline and run-time verification of robotic systems.
Silvano Dal-ZilioPierre-Emmanuel HladikFélix IngrandAnthony MalletPublished in: Robotics Auton. Syst. (2023)
Keyphrases
- robotic systems
- mobile robot
- formal methods
- autonomous robots
- control architecture
- vision system
- formal analysis
- model checking
- robotic tasks
- multi robot
- indoor environments
- imitation learning
- object manipulation
- manipulation tasks
- unstructured environments
- real time
- human teaching behavior
- robotic manipulator
- formal specification
- machine learning
- verification method
- formal model