Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.
Mohammed FoughaliAlexander ZuepkePublished in: Frontiers Robotics AI (2022)
Keyphrases
- formal verification
- autonomous robots
- real time
- mobile robot
- robot navigation
- model checking
- autonomous mobile robot
- goal directed
- robotic systems
- real environment
- bounded model checking
- symbolic model checking
- robot control
- model checker
- motion control
- automated verification
- control system
- multiple robots
- program slicing
- multi robot systems
- reverse engineering
- visual tracking
- gaze control
- belief revision
- fuzzy sets
- multi agent