Periodic Reporting for period 1 - SyGaST (Synthesising Game Solving Techniques)

Infinite games can be used as formalisations for the correctness of non-terminating systems and protocols, where winning or losing is determined by long term averages or states that appear infinitely often. Various winning conditions can be defined, and several of them have...