Publications

Filters: Author is Tomás Brázdil [Clear All Filters]

In Press

T. Brázdil, L. Korenciak, J. Krčál, P. Novotný, and V. Rehák, “Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis”, in QEST 2015, In Press.

2014

M. Abaffy, T. Brázdil, V. Rehák, B. Bosanský, A. {\'ı}n Kucera, and J. Krčál, “Solving adversarial patrolling games with bounded error: (extended abstract)”, in International conference on Autonomous Agents and Multi-Agent Systems, {AAMAS} '14, Paris, France, May 5-9, 2014, 2014.

2012

T. Brázdil, H. Hermanns, J. Krčál, J. Kret\'ınský, and V. Rehák, “Verification of Open Interactive Markov Chains”, in IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, 2012.