Publications
Accepted Papers
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).