Miroslav Klimos

According to our database, Miroslav Klimos authored at least 3 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Cobra: A Tool for Solving General Deductive Games.

Miroslav Klimos, Antonín Kucera

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

Strategy Synthesis for General Deductive Games Based on SAT Solving.

Miroslav Klimos, Antonín Kucera

CoRR, 2014

2012

Nash Equilibria in Concurrent Priced Games.

Miroslav Klimos, Kim G. Larsen, Filip Stefanak, Jeppe Thaarup

Proceedings of the Language and Automata Theory and Applications, 2012