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.

• 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: 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

• 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 GROBELNA Marta 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

• stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic

  SAVERI Gaia NENZI Laura BORTOLUSSI Luca KŘETÍNSKÝ Jan

  Článek ve sborníku

  ECAI 2024, 27th European Conference on Artificial Intelligence, rok: 2024