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

2024

• 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

  International Conference on Runtime Verification, year: 2024

• Monitizer: Automating Design and Evaluation of Neural Network Monitors

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

  Article in Proceedings

  Computer Aided Verification, year: 2024

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

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

  Article in Proceedings

  Year: 2024

2023

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

  JUENGERMANN Florian KŘETÍNSKÝ Jan WEININGER Maximilian

  Article in Periodical

  International Journal on Software Tools for Technology Transfer, year: 2023, volume: 25, edition: 3, DOI

• Guessing Winning Policies in LTL Synthesis by Semantic Learning

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

  Article in Proceedings

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

• Learning Attack Trees by Genetic Algorithms

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

  Article in Proceedings

  Theoretical Aspects of Computing – ICTAC 2023, year: 2023

• Model Checking for Proving and Improving Fault Tolerance of Satellites

  KIESBYE Jonis GROVER Kush KŘETÍNSKÝ Jan

  Article in Proceedings

  2023 IEEE AEROSPACE CONFERENCE, year: 2023

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

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

  Article in Proceedings

  FORMAL METHODS, FM 2023, year: 2023

• Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias WEININGER Maximilian

  Article in Proceedings

  2023 38TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS, year: 2023

• Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks

  CHAU Calvin KŘETÍNSKÝ Jan MOHR Stefanie

  Article in Proceedings

  Automated Technology for Verification and Analysis. ATVA 2023, year: 2023