1

Game Logic and Game Algebra || Game Logic Is Strong Enough for Parity Games

Year:
2003
Language:
english
File:
PDF, 1.54 MB
english, 2003
4

Fixed-Point Logics and Solitaire Games

Year:
2004
Language:
english
File:
PDF, 288 KB
english, 2004
5

The Variable Hierarchy of the μ-Calculus Is Strict

Year:
2007
Language:
english
File:
PDF, 391 KB
english, 2007
6

Information Tracking in Games on Graphs

Year:
2010
Language:
english
File:
PDF, 278 KB
english, 2010
8

Parity games on undirected graphs

Year:
2012
Language:
english
File:
PDF, 200 KB
english, 2012
9

The dag-width of directed graphs

Year:
2012
Language:
english
File:
PDF, 346 KB
english, 2012
12

Infinite games with finite knowledge gaps

Year:
2016
Language:
english
File:
PDF, 1.15 MB
english, 2016