Assuring Behavior of Multirobot Autonomous Systems With Translation From Formal Verification to ROS Simulation.
Praveen Thachappully AdithyaAnubhav GuptaSiddhartha BhattacharyyaRaja MuthalaguPublished in: IEEE Syst. J. (2022)
Keyphrases
- autonomous systems
- formal verification
- multi robot
- uncertain environments
- real robot
- model checking
- path planning
- bounded model checking
- mobile robot
- autonomous navigation
- model checker
- dynamic environments
- robot teams
- automated verification
- multiple robots
- symbolic model checking
- multi robot exploration
- multi robot systems
- motion planning
- robotic systems
- mathematical model
- unmanned aerial vehicles
- multi agent