Publications

Filters: Author is Jan Krčál [Clear All Filters]

In Press

V. Forejt, J. Krčál, and J. Křet{\'ınsk{\`y}, “Controller synthesis for MDPs and Frequency LTL $$\backslash$ setminus $ GU”, in LPAR 2015, In Press.

Y. Butkova, H. Hatefi, H. Hermanns, and J. Krčál, “Optimal Continuous Time Markov Decisions”, in ATVA 2015, 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.

H. Hermanns, J. Krčál, and G. Nies, “Recharging Probably Keeps Batteries Alive”, CyPhy 2015. In Press.

2015

V. Forejt and J. Krčál, “On Frequency {LTL} in Probabilistic Systems”, in 26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015, 2015.

J. Krčál and P. Krcál, “Scalable Analysis of Fault Trees with Dynamic Features”, in 45th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2015, Rio de Janeiro, Brazil, June 22-25, 2015, 2015.

2014

L. Korenciak, J. Krčál, and V. Rehák, “Dealing with Zero Density Using Piecewise Phase-Type Approximation”, in Computer Performance Engineering - 11th European Workshop, {EPEW} 2014, Florence, Italy, September 11-12, 2014. Proceedings, 2014.

H. Hermanns, J. Krčál, and J. Kret{\'ı}nský, “Probabilistic Bisimulation: Naturally on Distributions”, in {CONCUR} 2014 - Concurrency Theory - 25th International Conference, {CONCUR} 2014, Rome, Italy, September 2-5, 2014. Proceedings, 2014.

V. Hashemi, H. Hatefi, and J. Krčál, “Probabilistic Bisimulations for {PCTL} Model Checking of Interval MDPs (extended version)”, in Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014., 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.

2013

H. Hermanns, J. Krčál, and J. Kret\'ınský, “Compositional Verification and Optimization of Interactive Markov Chains”, in CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings, Buenos Aires, 2013.

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.