Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic.
Zhiyu LiuMeng JiangHai LinPublished in: CoRR (2020)
Keyphrases
- petri net
- autonomous robots
- temporal logic
- reactive systems
- transition systems
- multiple robots
- temporally extended goals
- model checking
- concurrent systems
- mobile robot
- temporal resolution
- robot navigation
- linear temporal logic
- robotic systems
- modal logic
- motion control
- temporally extended
- formal verification
- robot control
- satisfiability problem
- spatial data
- pattern mining
- ai planning
- formal specification
- multi robot systems
- computer vision
- mazurkiewicz traces
- motion planning
- symbolic model checking
- formal specification language
- dynamic constraints
- formal methods
- planning domains
- path planning
- heuristic search
- spatial information
- multi agent
- temporal knowledge
- epistemic logic
- temporal aspects
- model checker
- classical planning
- multi agent systems