prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.

2014

• Verification of Markov Decision Processes using Learning Algorithms

  BRÁZDIL Tomáš CHATTERJEE Krishnendu CHMELÍK Martin FOREJT Vojtěch KŘETÍNSKÝ Jan KWIATKOWSKA Marta PARKER David UJMA Mateusz

  Article in Proceedings

  Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, year: 2014

2013

• Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis

  CHATTERJEE Krishnendu GAISER Andreas KŘETÍNSKÝ Jan

  Article in Proceedings

  Computer Aided Verification - 25th International Conference, CAV 2013, year: 2013

• Compositional Verification and Optimization of Interactive Markov Chains

  HERMANNS Holger KRČÁL Jan KŘETÍNSKÝ Jan

  Article in Proceedings

  CONCUR 2013 - Concurrency Theory - 24th International Conference, year: 2013

• Continuous-Time Stochastic Games with Time-Bounded Reachability

  BRÁZDIL Tomáš FOREJT Vojtěch KRČÁL Jan KŘETÍNSKÝ Jan KUČERA Antonín

  Article in Periodical

  Information and Computation, year: 2013, volume: 224, edition: 1, DOI

• Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory

  BENEŠ Nikola DELAHAYE Benoit FAHRENBERG Uli KŘETÍNSKÝ Jan LEGAY Axel

  Article in Proceedings

  CONCUR 2013 - Concurrency Theory - 24th International Conference, year: 2013

• MoTraS: A Tool for Modal Transition Systems and Their Extensions

  KŘETÍNSKÝ Jan SICKERT Salomon

  Article in Proceedings

  Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, year: 2013

• On Refinements of Boolean and Parametric Modal Transition Systems

  KŘETÍNSKÝ Jan SICKERT Salomon

  Article in Proceedings

  Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, year: 2013

• On time-average limits in deterministic and stochastic Petri nets

  BRÁZDIL Tomáš KORENČIAK Ľuboš KRČÁL Jan KŘETÍNSKÝ Jan ŘEHÁK Vojtěch

  Article in Proceedings

  ACM/SPEC International Conference on Performance Engineering, ICPE'13, year: 2013

• Rabinizer 2: Small Deterministic Automata for LTL\GU

  KŘETÍNSKÝ Jan LEDESMA GARZA Ruslan

  Article in Proceedings

  Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, year: 2013

2012

• Deterministic Automata for the (F,G)-fragment of LTL

  KŘETÍNSKÝ Jan ESPARZA Javier

  Article in Proceedings

  Computer Aided Verification - 24th International Conference, year: 2012