Formal verification of mobile robot protocols.
Béatrice BérardPascal LafourcadeLaure MilletMaria Potop-ButucaruYann Thierry-MiegSébastien TixeuilPublished in: Distributed Comput. (2016)
Keyphrases
- formal verification
- mobile robot
- model checking
- cryptographic protocols
- path planning
- model checker
- bounded model checking
- obstacle avoidance
- autonomous navigation
- indoor environments
- mobile robot navigation
- dynamic environments
- automated verification
- motion control
- office environment
- symbolic model checking
- program slicing
- motion planning
- mobile robotics
- topological map
- security protocols
- autonomous robots
- multi robot
- temporal logic