Publication Records

BENEŠ, Nikola, Ivana ČERNÁ and Filip ŠTEFAŇÁK. Factorization for Component-Interaction Automata. In SOFSEM 2012: Theory and Practice of Computer Science. Berlin Heidelberg: Springer Berlin Heidelberg, 2012, p. 554-565. ISBN 978-3-642-27659-0. Available from: https://dx.doi.org/10.1007/978-3-642-27660-6_45.

KLIMOŠ, Miroslav, Kim G. LARSEN, Jeppe THAARUP and 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, p. 363-376. ISBN 978-3-642-28331-4. Available from: https://dx.doi.org/10.1007/978-3-642-28332-1_31.

BENEŠ, Nikola, Milan KŘIVÁNEK and Filip ŠTEFAŇÁK. Space Effective Model Checking for Component-Interaction Automata. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009, 8 pp. ISBN 978-3-939897-15-6.