Incremental Control Synthesis in Probabilistic Environments with Temporal Logic Constraints
Alphan UlusoyTichakorn WongpiromsarnCalin BeltaPublished in: CoRR (2012)
Keyphrases
- temporal logic
- model checking
- dynamic constraints
- automata theoretic
- modal logic
- satisfiability problem
- computation tree logic
- concurrent systems
- verification method
- mazurkiewicz traces
- temporal knowledge
- model checker
- linear temporal logic
- formal specification language
- uncertain data
- belief revision
- constraint satisfaction
- reactive systems
- finite state
- transition systems
- bounded model checking
- dynamic environments