Distributing Co-safe LTL Specifications to Mobile Robots.
Ioana HustiuCristian MahuleaMarius KloetzerPublished in: ICSTCC (2022)
Keyphrases
- mobile robot
- bounded model checking
- model checking
- transition systems
- temporal logic
- path planning
- formal verification
- formal specification
- model checker
- linear temporal logic
- indoor environments
- obstacle avoidance
- concurrent systems
- mobile robotics
- dynamic environments
- autonomous navigation
- robotic systems
- multi robot
- autonomous robots
- motion control
- collision avoidance
- unstructured environments
- unknown environments
- motion planning
- map building
- delay insensitive
- deterministic automata
- sensory information
- linear time temporal logic
- multi agent systems
- specification language
- control flow
- asynchronous circuits
- reactive systems
- robot control
- simultaneous localization and mapping
- search algorithm
- multi agent
- high level
- information systems
- mobile robot localization
- outdoor environments
- written in natural language
- real time