Documents Krishnendu Chatterjee1 Graph Games with Reachabillity Objectives: Mixing Chess, Soccer and Poker...

Slide 1 Krishnendu Chatterjee1 Graph Games with Reachabillity Objectives: Mixing Chess, Soccer and Poker Krishnendu Chatterjee 5 th Workshop on Reachability Problems, Genova,…

Documents Graph Games with Reachabillity Objectives: Mixing Chess, Soccer and Poker

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