SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications.
Christian PekGeorg Friedrich SchuppeFrancesco EspositoJana TumovaDanica KragicPublished in: Auton. Robots (2023)
Keyphrases
- temporal logic
- robotic tasks
- motion planning
- concurrent systems
- spatio temporal
- model checking
- transition systems
- reactive systems
- bounded model checking
- model checker
- planning under uncertainty
- formal specification language
- modal logic
- temporally extended goals
- dynamic environments
- robotic systems
- space time
- temporally extended
- degrees of freedom
- real time
- formal specification
- computation tree logic
- belief revision
- spatial information
- belief space
- mazurkiewicz traces
- plan execution
- verification method
- path planning
- linear temporal logic
- image sequences
- symbolic model checking
- formal verification
- finite state
- humanoid robot
- dynamical systems
- search algorithm