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

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

2023

• Algebraically explainable controllers: decision trees and support vector machines join forces

  JUENGERMANN Florian KŘETÍNSKÝ Jan WEININGER Maximilian

  Článek v odborném periodiku

  International Journal on Software Tools for Technology Transfer, rok: 2023, ročník: 25, vydání: 3, DOI

• Guessing Winning Policies in LTL Synthesis by Semantic Learning

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias PROKOP Maximilian RIEDER Sabine

  Článek ve sborníku

  Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings, Part I, rok: 2023

• Learning Attack Trees by Genetic Algorithms

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

  Článek ve sborníku

  Theoretical Aspects of Computing – ICTAC 2023, rok: 2023

• Model Checking for Proving and Improving Fault Tolerance of Satellites

  KIESBYE Jonis GROVER Kush KŘETÍNSKÝ Jan

  Článek ve sborníku

  2023 IEEE AEROSPACE CONFERENCE, rok: 2023

• Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks

  HASHEMI Vahid KŘETÍNSKÝ Jan RIEDER Sabine SCHMIDT Jessica

  Článek ve sborníku

  FORMAL METHODS, FM 2023, rok: 2023