Publications

Download BibTeX.

2024
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints\unicode10033
Severin Bals, Alexandros Evangelidis, Jan Kretìnskỳ, Jakob Waibel
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024
Learning Explainable and Better Performing Representations of POMDP Strategies  
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Křetìnskỳ, Stefanie Mohr
Tools and Algorithms for the Construction and Analysis of Systems
2023
Learning Attack Trees by Genetic Algorithms
Florian Dorfhuber, Julia Eisentraut, Jan Křetìnskỳ
International Colloquium on Theoretical Aspects of Computing
Algebraically explainable controllers: decision trees and support vector machines join forces
Florian Jüngermann, Jan Kretìnskỳ, Maximilian Weininger
Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks  
Calvin Chau, Jan Kretìnskỳ, Stefanie Mohr
ATVA 2023
Model Checking for Proving and Improving Fault Tolerance of Satellites  
Jonis Kiesbye, Kush Grover, Jan Křetínský
2023 IEEE Aerospace Conference
Guessing Winning Policies in LTL Synthesis by Semantic Learning  
Jan Křetìnskỳ, Tobias Meggendorfer, Maximilian Prokop, Sabine Rieder
CAV 2023
Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks  
Vahid Hashemi, Jan Křetìnskỳ, Sabine Rieder, Jessica Schmidt
FM 2023
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
Jan Kretìnskỳ, Tobias Meggendorfer, Maximilian Weininger
38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023
2022
Index appearance record with preorders
Jan Kretìnskỳ, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
Value iteration for simple stochastic games: Stopping criterion and learning algorithm
Julia Eisentraut, Edon Kelmendi, Jan Kretìnskỳ, Maximilian Weininger
Comparison of algorithms for simple stochastic games
Jan Kretìnskỳ, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
Optimistic and Topological Value Iteration for Simple Stochastic Games
Muqsit Azeem, Alexandros Evangelidis, Jan Kretìnskỳ, Alexander Slivinskiy, Maximilian Weininger
Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings
From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
Javier Esparza, Jan Kretìnskỳ, Jean-François Raskin, Salomon Sickert
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes  
Kush Grover, Jan Kretìnskỳ, Tobias Meggendorfer, Maximilian Weininger
33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland
Planning via model checking with decision-tree controllers
Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretìnskỳ
2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022
Abstraction-Based Segmental Simulation of Chemical Reaction Networks
Martin Helfrich, Milan Ceska, Jan Kretìnskỳ, Stefan Marticek
Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, Proceedings
Learning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes
Luca Bortolussi, Giuseppe Gallo, Jan Kretìnskỳ, Laura Nenzi
Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
Chaitanya Agarwal, Shibashis Guha, Jan Kretìnskỳ, Pazhamalai Muruganandham
Computer Aided Verification - 34th International Conference, CAV 2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part II
2021
Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games
Maximilian Weininger, Kush Grover, Shruti Misra, Jan Kretìnskỳ
2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments  
Kush Grover, Fernando Barbosa, Jana Tumova, Jan Kretìnskỳ
Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021
2020
DeepAbstract: Neural Network Abstraction for Accelerating Verification  
Pranav Ashok, Vahid Hashemi, Jan Kretìnskỳ, Stefanie Mohr
ATVA 2020