Practical synthesis of reactive systems from LTL specifications via parity games.
Michael LuttenbergerPhilipp J. MeyerSalomon SickertPublished in: Acta Informatica (2020)
Keyphrases
- reactive systems
- model checking
- temporal logic
- transition systems
- bounded model checking
- linear temporal logic
- control flow
- formal methods
- petri net
- formal verification
- information flow
- modal logic
- formal specification
- program synthesis
- state machines
- error correction
- computer games
- linear time temporal logic
- data flow
- game playing
- real time systems
- nash equilibrium
- concurrent systems
- video games