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

2019

• SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes

  ASHOK Pranav KŘETÍNSKÝ Jan LARSEN Kim G. COËNT Adrien Le TAANKVIST Jakob Haahr WEININGER Maximilian

  Článek ve sborníku

  Quantitative Evaluation of Systems, 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings., rok: 2019

• Strategy Representation by Decision Trees with Linear Classifiers

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

  Článek ve sborníku

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

• The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)

  HAHN Ernst Moritz HARTMANNS Arnd HENSEL Christian KLAUCK Michaela KLEIN Joachim KŘETÍNSKÝ Jan PARKER David QUATMANN Tim RUIJTERS Enno STEINMETZ Marcel

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III, rok: 2019

2018

• Compositionality for quantitative specifications

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

  Článek v odborném periodiku

  Soft Computing, rok: 2018, ročník: 22, vydání: 4, DOI

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

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias

  Článek ve sborníku

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

• Continuous-Time Markov Decisions Based on Partial Exploration

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

  Článek ve sborníku

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

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

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

  Článek ve sborníku

  29th International Conference on Concurrency Theory (CONCUR 2018), rok: 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

  Článek ve sborníku

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

• One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata

  ESPARZA Javier KŘETÍNSKÝ Jan SICKERT Salomon

  Článek ve sborníku

  Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, rok: 2018

• Owl: A Library for ω-Words, Automata, and LTL

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias SICKERT Salomon

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, rok: 2018