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

2022

• Satisfiability of Quantitative Probabilistic CTL: Rise to the Challenge

  CHODIL Miroslav KUČERA Antonín KŘETÍNSKÝ Jan

  Article in Proceedings

  Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, year: 2022

2020

• Logical vs. behavioural specifications

  BENEŠ Nikola FAHRENBERG Uli KŘETÍNSKÝ Jan LEGAY Axel TRAONOUEZ Louis-Marie

  Article in Periodical

  Information and computation, year: 2020, volume: 271, edition: 104487, DOI

2019

• Of Cores: A Partial-Exploration Framework for Markov Decision Processes

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias

  Article in Proceedings

  30th International Conference on Concurrency Theory (CONCUR 2019), year: 2019

• PAC Statistical Model Checking for Markov Decision Processes and Stochastic Games

  ASHOK Pranav KŘETÍNSKÝ Jan WEININGER Maximilian

  Article in Proceedings

  Computer Aided Verification (CAV 2019), year: 2019

• Strategy Representation by Decision Trees with Linear Classifiers

  ASHOK Pranav BRÁZDIL Tomáš CHATTERJEE Krishnendu KŘETÍNSKÝ Jan LAMPERT Christoph TOMAN Viktor

  Article in Proceedings

  Quantitative Evaluation of Systems (QEST 2019), year: 2019

2018

• Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias

  Article in Proceedings

  Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '18), year: 2018

• Continuous-Time Markov Decisions Based on Partial Exploration

  ASHOK Pranav BUTKOVA Yuliya HERMANNS Holger KŘETÍNSKÝ Jan

  Article in Proceedings

  Automated Technology for Verification and Analysis. ATVA 2018, year: 2018

• Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints

  KŘETÍNSKÝ Jan PEREZ Guillermo RASKIN Jean-Francois

  Article in Proceedings

  29th International Conference on Concurrency Theory (CONCUR 2018), year: 2018

• Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes

  ASHOK Pranav BRÁZDIL Tomáš KŘETÍNSKÝ Jan SLÁMEČKA Ondřej

  Article in Proceedings

  Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), year: 2018

• Strategy Representation by Decision Trees in Reactive Synthesis

  BRÁZDIL Tomáš CHATTERJEE Krishnendu KŘETÍNSKÝ Jan TOMAN Viktor

  Article in Proceedings

  24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018), year: 2018