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.

• 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

• Monitizer: Automating Design and Evaluation of Neural Network Monitors

  AZEEM Muqsit KANAV Sudeep KŘETÍNSKÝ Jan MOHR Stefanie RIEDER Sabine

  Článek ve sborníku

  CAV 2024, International Conference on Computer Aided Verification, rok: 2024

• MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱

  BALS Severin EVANGELIDIS Alexandros KŘETÍNSKÝ Jan WAIBEL Jakob

  Článek ve sborníku

  Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, rok: 2024

• Poster Abstract: MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints✱

  BALS Severin EVANGELIDIS Alexandros KŘETÍNSKÝ Jan WAIBEL Jakob

  Článek ve sborníku

  Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, rok: 2024

• QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification

  DORFHUBER Florian Sebastian EISENTRAUT Julia KLIOBA Katharina KŘETÍNSKÝ Jan

  Článek ve sborníku

  International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+FORMATS 2024, rok: 2024