Publications

Export 12 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Jan Krčál  [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 
C
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.
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.
D
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.
F
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.
P
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.
S
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.
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.
V
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.