Výpis publikací

KLIMOŠ, Miroslav a Antonín KUČERA. Cobra: A Tool for Solving General Deductive Games. In Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov. Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015). Heidelberg: Springer, 2015, s. 31-47. ISBN 978-3-662-48898-0. Dostupné z: https://dx.doi.org/10.1007/978-3-662-48899-7_3.

KLIMOŠ, Miroslav, Kim G. LARSEN, Jeppe THAARUP a Filip ŠTEFAŇÁK. Nash Equilibria in Concurrent Priced Games. In Adrian-Horia Dediu, Carlos Martín-Vide. Language and Automata Theory and Applications, 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. La Coruna; Spain: Springer Berlin / Heidelberg, 2012, s. 363-376. ISBN 978-3-642-28331-4. Dostupné z: https://dx.doi.org/10.1007/978-3-642-28332-1_31.