PP6 – Synthesis Roderick Bloem Graph Games with Reachabillity Objectives: Mixing Chess, Soccer and Poker Krishnendu Chatterjee 5th Workshop on Reachability Problems, Genova,…
