2026

• Keep it simple, or teach them logics: Attack-Defense Tree Perception by Laypeople

  DORFHUBER Florian Sebastian BARRIENTOS Marisol EISENTRAUT Julia KŘETÍNSKÝ Jan

  Article in Proceedings

  The 11th International Symposium on Dependable Software Engineering Theories, Tools and Applications, year: 2026

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

• 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: 2025, number of pages: 27 s.

• 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

• 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: 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: 4, edition: 13268, 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: 66, edition: 2, DOI

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

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

  Article in Proceedings

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

• Sound Value Iteration for Simple Stochastic Games

  AZEEM Muqsit KŘETÍNSKÝ Jan WEININGER Maximilian

  Article in Proceedings

  ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, year: 2025