Nash Equilibria in Concurrent Priced Games. - Miroslav Klimos; Kim G. Larsen; Filip Stefanak; Jeppe Thaarup (LATA, 2012)

Strategy Synthesis for General Deductive Games Based on SAT Solving. - Miroslav Klimos; Antonín Kucera 001 (CoRR, 2014)

Cobra: A Tool for Solving General Deductive Games. - Miroslav Klimos; Antonín Kucera 001 (LPAR, 2015)