Prescribed Performance Control Guided Policy Improvement for Satisfying Signal Temporal Logic Tasks.
Péter VárnaiDimos V. DimarogonasPublished in: CoRR (2019)
Keyphrases
- temporal logic
- model checking
- modal logic
- satisfiability problem
- verification method
- transition systems
- control signals
- concurrent systems
- control policy
- dynamic constraints
- belief revision
- computation tree logic
- temporal knowledge
- mazurkiewicz traces
- bounded model checking
- optimal policy
- practical reasoning
- temporally extended
- optimal control