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

2020

• Comparison of Algorithms for Simple Stochastic Games

  KŘETÍNSKÝ Jan RAMNEANTU Emanuel SLIVINSKIY Alexander WEININGER Maximilian

  Článek ve sborníku

  Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020., rok: 2020

• DeepAbstract: Neural Network Abstraction for Accelerating Verification

  ASHOK Pranav HASHEMI Vahid KŘETÍNSKÝ Jan MOHR Stefanie

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings, rok: 2020

• dtControl: decision tree learning algorithms for controller representation

  ASHOK Pranav JACKERMEIER Mathias JAGTAP Pushpak KŘETÍNSKÝ Jan WEININGER Maximilian ZAMANI Majid

  Článek ve sborníku

  HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, Sydney, New South Wales, Australia, April 21-24, 2020, rok: 2020

• Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward

  KŘETÍNSKÝ Jan MICHEL Fabian MICHEL Lukáš PÉREZ Guillermo A

  Článek ve sborníku

  Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, UAI 2020, virtual online, August 3-6, 2020, rok: 2020

• Logical vs. behavioural specifications

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

  Článek v odborném periodiku

  Information and computation, rok: 2020, ročník: 271, vydání: 104487, DOI

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

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2020, ročník: 16, vydání: 4

• On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report

  BUDDE Carlos E HARTMANNS Arnd KLAUCK Michaela KŘETÍNSKÝ Jan PARKER David QUATMANN Tim TURRINI Andrea ZHANG Zheng Hao

  Článek ve sborníku

  Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV, rok: 2020

• SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

  ČEŠKA Milan CHAU Calvin KŘETÍNSKÝ Jan

  Článek ve sborníku

  Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, rok: 2020

• Statistical Model Checking: Black or White?

  ASHOK Pranav DACA Przemyslaw KŘETÍNSKÝ Jan WEININGER Maximilian

  Článek ve sborníku

  Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I, rok: 2020

2019

• Expected Cost Analysis of Attack-Defense Trees

  EISENTRAUT Julia KŘETÍNSKÝ Jan

  Článek ve sborníku

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