Publications

Download BibTeX.

2025	PAC statistical model checking of mean payoff in discrete- and continuous-time MDP Chaitanya Agarwal, Shibashis Guha, Jan Křetínský, M. Pazhamalai
	Learning Algorithms for Verification of Markov Decision Processes Tomas Brazdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretínský, Marta Kwiatkowska, Tobias Meggendorfer, David Parker, Mateusz Ujma
	Explaining Control Policies through Predicate Decision Diagrams Debraj Chakraborty, Clemens Dubslaff, Sudeep Kanav, Jan Kretínský, Christoph Weinhuber Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2025, Irvine, CA, USA, May 6-9, 2025
	Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Marta Grobelna, Jan Kretínský, Maximilian Weininger 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025
	Hidden-Layer Monitoring for Out-of-Distribution Localization in Image Segmentation Jan Kretínský, Sabine Rieder, Gesina Schwalbe, Youssef Shoeb Runtime Verification - 25th International Conference, RV 2025, Graz, Austria, September 15-19, 2025, Proceedings
	SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning Jan Kretínský, Tobias Meggendorfer, Maximilian Prokop, Ashkan Zarkhah Tools and Algorithms for the Construction and Analysis of Systems - 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
	Symbiotic Local Search for Small Decision Tree Policies in MDPs Roman Andriushchenko, Milan Ceska, Debraj Chakraborty, Sebastian Junges, Jan Kretínský, Filip Macák Conference on Uncertainty in Artificial Intelligence, Rio Othon Palace, Rio de Janeiro, Brazil, 21-25 July 2025
	1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
	Sound Value Iteration for Simple Stochastic Games Muqsit Azeem, Jan Kretínský, Maximilian Weininger Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2025, Valletta, Malta, 16-17th September 2025
2024	Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces   Vahid Hashemi, Jan Křetínský, Sabine Rieder, Torsten Schön, Jan Vorhoff RV 2024
	QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification   Florian Dorfhuber, Julia Eisentraut, Katharina Klioba, Jan Křetínský International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems
	Monitizer: Automating Design and Evaluation of Neural Network Monitors   Muqsit Azeem, Marta Grobelna, Sudeep Kanav, Jan Křetínský, Stefanie Mohr, Sabine Rieder International Conference on Computer Aided Verification
	MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints\unicode10033 Severin Bals, Alexandros Evangelidis, Jan Křetí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 Křetínský, Maximilian Weininger
	Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks   Calvin Chau, Jan Křetí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 Křetí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 Křetínský, Tobias Meggendorfer, Clara Waldmann, Maximilian Weininger
	Value iteration for simple stochastic games: Stopping criterion and learning algorithm Julia Eisentraut, Edon Kelmendi, Jan Křetínský, Maximilian Weininger
	Comparison of algorithms for simple stochastic games Jan Křetínský, Emanuel Ramneantu, Alexander Slivinskiy, Maximilian Weininger
	Optimistic and Topological Value Iteration for Simple Stochastic Games Muqsit Azeem, Alexandros Evangelidis, Jan Křetí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 Křetínský, Jean-François Raskin, Salomon Sickert
	Anytime Guarantees for Reachability in Uncountable Markov Decision Processes   Kush Grover, Jan Křetí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 Křetí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 Křetí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 Křetí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 Křetí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 Křetí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 Křetí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 Křetínský, Stefanie Mohr ATVA 2020