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