Publications

7. Logic of Fuzzy Paths.
Kush Grover, Jan Kretínský.

6. Learning Explainable and Better Performing Representations of POMDP Strategies. (arxiv) (Implementation)
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský and Stefanie Mohr.
Tools and Algorithms for the Construction and Analysis of Systems 2024 (TACAS 2024).

5. Model Checking for Proving and Improving Fault Tolerance of Satellites (Implementation)
Jonis Kiesbye, Kush Grover, Jan Kretínský.
2023 IEEE Aerospace Conference (AEROCONF 2023).

4. Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.  (arxiv)
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger.
33rd International Conference on Concurrency Theory (CONCUR 2022).

3. Planning via model checking with decision-tree controllers.
Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretínský.
2022 IEEE International Conference on Robotics and Automation (ICRA 2022).

2. Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments. (Implementation)
Kush Grover, Fernando S. Barbosa, Jana Tumova, and Jan Kretínský.
Robotics: Science and Systems XVII (RSS 2021).

1. Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games. (Implementation)
Maximilian Weininger, Kush Grover, Shruti Misra, Jan Kretínský.
2021 60th IEEE Conference on Decision and Control (CDC 2021).

1. Efficient Control via Reachability Synthesis for Cyber-Physical Systems.
Kush Grover.
PhD Thesis

1. Tools at the frontiers of quantitative verification: QComp 2023 competition report. (arxiv)
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Češka, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Křetínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger & Zhen Zhang.
TOOLympics Challenge 2023.