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

2025

• 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization

  AZEEM Muqsit CHAKRABORTY Debraj KANAV Sudeep KŘETÍNSKÝ Jan MOHAGHEGHI Mohammadsadegh MOHR Stefanie WEININGER Maximilian

  Článek ve sborníku

  VMCAI 2025, 26th International Conference on Verification, Model Checking, and Abstract Interpretation, rok: 2025

• A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community

  KANAV Sudeep KŘETÍNSKÝ Jan RIEDER Sabine

  Kapitola v knize

  Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, rok: 2025, počet stran: 27 s.

• Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation

  KŘETÍNSKÝ Jan RIEDER Sabine SCHWALBE Gesina SHOEB Youssef

  Článek ve sborníku

  International Conference on Runtime Verification, rok: 2025

• Learning Algorithms for Verification of Markov Decision Processes

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

  Článek v odborném periodiku

  TheoretiCS, rok: 2025, ročník: 2025, vydání: 4, DOI

• PAC statistical model checking of mean payoff in discrete- and continuous-time MDP

  KŘETÍNSKÝ Jan AGARWAL Chaitanya GUHA Shibashis PAZHAMALAI M.

  Článek v odborném periodiku

  Springer, rok: 2025, ročník: 2025, vydání: 66, DOI

• SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias PROKOP Maximilian ZARKAH Ashkan

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2025., rok: 2025

• Statistical Model Checking the 2024 Edition!

  KANAV Sudeep KŘETÍNSKÝ Jan LARSEN Kim G.

  Článek ve sborníku

  Bridging the Gap Between AI and Reality - Second International Conference, AISoLA 2024, rok: 2025

2024

• Abstraction-based segmental simulation of reaction networks using adaptive memoization

  HELFRICH Martin ANDRIUSHCHENKO Roman ČEŠKA Milan KŘETÍNSKÝ Jan MARTIČEK Štefan ŠAFRÁNEK David

  Článek v odborném periodiku

  BMC Bioinformatics, rok: 2024, ročník: 25, vydání: 350, DOI

• Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces

  HASHEMI Vahid KŘETÍNSKÝ Jan RIEDER Sabine SCHÖN Torsten VORHOFF Jan

  Článek ve sborníku

  RV 2024, 24th International Conference on Runtime Verification, rok: 2024

• Learning Explainable and Better Performing Representations of POMDP Strategies

  BORK Alexander CHAKRABORTY Debraj GROVER Kush KŘETÍNSKÝ Jan MOHR Stefanie

  Článek ve sborníku

  TACAS 2024, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2024