LTLMoP: Experimenting with language, Temporal Logic and robot control.
Cameron FinucaneGangyuan JingHadas Kress-GazitPublished in: IROS (2010)
Keyphrases
- temporal logic
- robot control
- model checking
- linear temporal logic
- formal specification language
- modal logic
- satisfiability problem
- mobile robot
- temporally extended goals
- verification method
- subsumption architecture
- model checker
- concurrent systems
- unstructured environments
- autonomous robots
- reinforcement learning
- transition systems
- mazurkiewicz traces
- computation tree logic
- reactive systems
- specification language
- belief revision
- bounded model checking
- machine learning
- dynamic constraints
- temporally extended
- modeling language
- natural language
- real time