Temporal logic motion planning using POMDPs with parity objectives: case study paper.
María SvorenováMartin ChmelikKevin LeahyHasan Ferit EniserKrishnendu ChatterjeeIvana CernáCalin BeltaPublished in: HSCC (2015)
Keyphrases
- temporal logic
- motion planning
- case study
- belief space
- model checking
- degrees of freedom
- trajectory planning
- path planning
- mobile robot
- modal logic
- multi robot
- humanoid robot
- robot arm
- concurrent systems
- reinforcement learning
- finite state
- robotic arm
- robotic tasks
- transition systems
- partial observability
- partially observable markov decision processes
- computation tree logic
- belief state
- mechanical systems
- temporal knowledge
- belief revision
- mazurkiewicz traces
- verification method
- configuration space
- dynamic programming
- linear temporal logic
- collision free
- climbing robot
- formal specification language
- reactive systems
- robotic systems
- planning under uncertainty
- partially observable