GAMES logo Nodes: Uppsala
Aachen Bordeaux Edinburgh Paris Rice Uppsala Warsaw Vienna

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

Background literature