Task 3: Synthesis and testing for reactive computation
Objectives
Our goal is to study classes of games for which the strategy synthesis problem is solvable (at least in principle), isolate cases where the controller synthesis problem admits efficient solutions and develop concrete algorithms. Additionally, we develop a game-based testing methodology for reactive systems.
Material
- Bengt Jonsson's presentation of Task 3 in Edinburgh. [slides]
- Discussions on the above (to follow).
