Lazy controller synthesis for monotone transition systems and directed safety specifications.
Elena IvanovaAdnane SaoudAntoine GirardPublished in: Autom. (2022)
Keyphrases
- transition systems
- controller synthesis
- concurrent systems
- model checking
- autonomic computing systems
- temporal logic
- practical reasoning
- control flow
- closed loop
- finite state
- control system
- reactive systems
- formal specification
- autonomic systems
- control algorithm
- multi agent
- model checker
- data flow
- boolean functions
- real time
- formal verification