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

  Článek ve sborníku

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

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

  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

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

  KŘETÍNSKÝ Jan MEGGENDORFER Tobias WEININGER Maximilian

  Článek ve sborníku

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

• Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks

  CHAU Calvin KŘETÍNSKÝ Jan MOHR Stefanie

  Článek ve sborníku

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