Publications

Export 12 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is Jan Krčál  [Clear All Filters]
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.
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.
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.
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.