Control of probabilistic systems under dynamic, partially known environments with temporal logic specifications.
Tichakorn WongpiromsarnEmilio FrazzoliPublished in: CDC (2012)
Keyphrases
- temporal logic
- dynamic constraints
- reactive systems
- model checking
- concurrent systems
- dynamic environments
- satisfiability problem
- transition systems
- model checker
- temporal knowledge
- bounded model checking
- modal logic
- complex systems
- linear temporal logic
- mazurkiewicz traces
- multi agent systems
- verification method
- knowledge based systems