Optimal Temporal Logic Control for Deterministic Transition Systems With Probabilistic Penalties.
María SvorenováIvana CernaCalin BeltaPublished in: IEEE Trans. Autom. Control. (2015)
Keyphrases
- temporal logic
- transition systems
- model checking
- concurrent systems
- modal logic
- optimal control
- finite state
- dynamic programming
- linear temporal logic
- verification method
- practical reasoning
- fully observable
- model checker
- reactive systems
- formal methods
- belief revision
- optimal solution
- control flow
- software development