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

  Article in Proceedings

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

• Explainably Safe Reinforcement Learning

  RIEDER Sabine PRANGER Stefan CHAKRABORTY Debraj KŘETÍNSKÝ Jan KÖNIGHOFER Bettina

  Article in Proceedings

  The Thirty-ninth Annual Conference on Neural Information Processing Systems, year: 2025

• Explaining Control Policies through Predicate Decision Diagrams

  CHAKRABORTY Debraj DUBSLAFF Clemens KANAV Sudeep KŘETÍNSKÝ Jan WEINHUBER Christoph

  Article in Proceedings

  HSCC '25: Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, year: 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

  Article in Periodical

  TheoretiCS, year: 2025, volume: 2025, edition: 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.

  Article in Periodical

  Springer, year: 2025, volume: 2025, edition: 66, DOI

• Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games

  GROBELNA Marta KŘETÍNSKÝ Jan WEININGER Maximilian

  Article in Proceedings

  Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games, year: 2025

2024

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

  KANAV Sudeep KŘETÍNSKÝ Jan RIEDER Sabine

  Chapter of a book

  Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, year: 2024, number of pages: 27 s.

• 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

  Article in Periodical

  BMC Bioinformatics, year: 2024, volume: 25, edition: 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

  Article in Proceedings

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

• Learning Explainable and Better Performing Representations of POMDP Strategies

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

  Article in Proceedings

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