TuLiP: a software toolbox for receding horizon temporal logic planning.
Tichakorn WongpiromsarnUfuk TopcuNecmiye OzayHuan XuRichard M. MurrayPublished in: HSCC (2011)
Keyphrases
- temporal logic
- temporally extended goals
- receding horizon
- model checking
- temporally extended
- modal logic
- linear temporal logic
- software development
- reactive systems
- mazurkiewicz traces
- air traffic control
- verification method
- transition systems
- formation control
- temporal knowledge
- computation tree logic
- formal specification language
- artificial intelligence
- optimal linear
- symbolic model checking
- motion planning
- belief revision
- heuristic search
- bounded model checking
- decision support
- formal verification
- test cases
- ai planning