Publications

Export 2 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: Author is Tomás Brázdil  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
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.
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.