Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic.
Zhenyu LinJohn S. BarasPublished in: SysCon (2019)
Keyphrases
- temporal logic
- robotic manipulator
- temporally extended goals
- model checking
- modal logic
- temporally extended
- satisfiability problem
- degrees of freedom
- symbolic model checking
- real time
- visual servoing
- belief revision
- control scheme
- verification method
- computation tree logic
- mazurkiewicz traces
- temporal knowledge
- plan execution
- robotic systems
- linear temporal logic
- bounded model checking
- heuristic search
- formal specification language
- control system