Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings.
Livia LestingiCristian SbrolliPasquale ScarmozzinoGiorgio RomeoMarcello M. BersaniMatteo RossiPublished in: FormaliSE@ICSE (2022)
Keyphrases
- multi robot
- path planning
- mobile robot
- multi robot systems
- multi robot exploration
- search and rescue
- motion planning
- dynamic task allocation
- potential field
- multiple robots
- formal methods
- coalitional game theory
- robotic systems
- computer vision
- uncertain environments
- surveillance system
- map building
- robot navigation
- multi robot cooperative
- model checking
- three dimensional