Specification-guided temporal logic control for stochastic systems: a multi-layered approach.
B. C. van HuijgevoortRuohan WangSadegh SoudjaniSofie HaesaertPublished in: CoRR (2024)
Keyphrases
- temporal logic
- multi layered
- stochastic systems
- transition systems
- model checking
- reactive systems
- linear temporal logic
- modal logic
- dynamic constraints
- concurrent systems
- control system
- computation tree logic
- formal specification
- formal verification
- stochastic models
- verification method
- control strategy
- formal methods
- finite state
- optimal control
- belief revision
- software engineering