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

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

• 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

2022

• Abstraction-Based Segmental Simulation of Chemical Reaction Networks

  HELFRICH Martin ČEŠKA Milan KŘETÍNSKÝ Jan MARTICEK Stefan

  Článek ve sborníku

  Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, Proceedings, rok: 2022

• Anytime Guarantees for Reachability in Uncountable Markov Decision Processes

  GROVER Kush KŘETÍNSKÝ Jan MEGGENDORFER Tobias WEININGER Maximilian

  Článek ve sborníku

  33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland., rok: 2022