Filip Stefanak

According to our database, Filip Stefanak authored at least 3 papers between 2009 and 2012.

Collaborative distances:

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

2012

Factorization for Component-Interaction Automata.

Nikola Benes, Ivana Cerná, Filip Stefanak

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 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

2009

Space Effective Model Checking for Component-Interaction Automata.

Nikola Benes, Milan Krivánek, Filip Stefanak

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009