An Anytime Algorithm for Reachability on Uncountable MDP. - Kush Grover; Jan Kretínský; Tobias Meggendorfer; Maximilian Weininger (CoRR, 2020)

Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games. - Maximilian Weininger; Kush Grover; Shruti Misra; Jan Kretínský (CDC, 2021)

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

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes. - Kush Grover; Jan Kretínský; Tobias Meggendorfer; Maximilian Weininger (CONCUR, 2022)

Planning via model checking with decision-tree controllers. - Jonis Kiesbye; Kush Grover; Pranav Ashok; Jan Kretínský (ICRA, 2022)

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (TOOLympics@ETAPS, 2023)

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (CoRR, 2023)

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (Zenodo, 2023)

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (Zenodo, 2023)

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints. - Severin Bals; Alexandros Evangelidis; Kush Grover; Jan Kretínský; Jakob Waibel (Zenodo, 2023)

QComp LRA results. - Kush Grover; Maximilian Weininger; Jan Kretínský (Zenodo, 2023)

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Stefanie Mohr; Jan Kretínský (Zenodo, 2023)

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Stefanie Mohr; Jan Kretínský (Zenodo, 2023)

Learning Explainable and Better Performing Representations of POMDP Strategies. - Alexander Bork; Debraj Chakraborty 002; Kush Grover; Jan Kretínský; Stefanie Mohr (TACAS (2), 2024)

Tools at the Frontiers of Quantitative Verification. - Roman Andriushchenko; Alexander Bork; Carlos E. Budde; Milan Ceska 002; Kush Grover; Ernst Moritz Hahn; Arnd Hartmanns; Bryant Israelsen; Nils Jansen 001; Joshua Jeppson; Sebastian Junges; Maximilian A. Köhl; et al. (CoRR, 2024)

Efficient Control via Reachability Synthesis for Cyber-Physical Systems. - Kush Grover (2024)