Publications

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
	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
2022	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
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