Miroslav Klimos

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Congestion Games

Boolean Satisfiability

Top Venues

Publications

Miroslav Klimos, Antonín Kucera
Cobra: A Tool for Solving General Deductive Games. LPAR (2015)
Miroslav Klimos, Antonín Kucera
Strategy Synthesis for General Deductive Games Based on SAT Solving. CoRR (2014)
Miroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup
Nash Equilibria in Concurrent Priced Games. LATA (2012)