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

2026

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

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

  Stať ve sborníku

  International Conference on Runtime Verification, rok: 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

  Stať ve sborníku

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

• SemML 2.0: Synthesizing Controllers for LTL

  PROKOP Maximilian KŘETÍNSKÝ Jan MEGGENDORFER Tobias

  Stať ve sborníku

  Computer Aided Verification, rok: 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

  Stať ve sborníku

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

• 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 odborné 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., DOI

• Explainably Safe Reinforcement Learning

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

  Stať ve sborníku

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

• Explaining Control Policies through Predicate Decision Diagrams

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

  Stať ve sborníku

  HSCC '25: Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, rok: 2025, DOI

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

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

  Stať ve sborníku

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

• 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

  Recenzovaný odborný článek

  TheoretiCS, rok: 2025, ročník: 4, vydání: 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.

  Recenzovaný odborný článek

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