Control of Probabilistic Systems under Dynamic, Partially Known Environments with Temporal Logic Specifications
Tichakorn WongpiromsarnEmilio FrazzoliPublished in: CoRR (2012)
Keyphrases
- temporal logic
- dynamic constraints
- reactive systems
- model checking
- concurrent systems
- satisfiability problem
- model checker
- transition systems
- dynamic environments
- bounded model checking
- modal logic
- formal specification
- formal methods
- mazurkiewicz traces
- knowledge base
- verification method
- predicate logic
- formal verification
- complex systems
- knowledge based systems
- distributed systems
- reinforcement learning