A Temporal Logic Specification Interface for Automata-Theoretic Finitary Control Synthesis.
Kiam Tian SeowMing GaiTong Lee LimPublished in: ICRA (2005)
Keyphrases
- temporal logic
- automata theoretic
- model checking
- transition systems
- reactive systems
- linear temporal logic
- finite state
- modal logic
- formal specification
- dynamic constraints
- satisfiability problem
- verification method
- formal verification
- belief revision
- regular path queries
- search algorithm
- formal methods
- markov decision processes
- application domains