Kush Grover

12 papers A* 1B 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Resilient Strategies for Stochastic Systems: How Much Does It Take to Break a Winning Strategy?
CoRR
Kush Grover, Markel Zubia, Debraj Chakraborty, Muqsit Azeem, Nils Jansen, Jan Kretínský
2024 — —
Efficient Control via Reachability Synthesis for Cyber-Physical Systems.
Kush Grover
2024 — conf
Learning Explainable and Better Performing Representations of POMDP Strategies.
TACAS (2)
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr
2024 J jnl
Learning Explainable and Better Performing Representations of POMDP Strategies.
CoRR
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr
2024 J jnl
Tools at the Frontiers of Quantitative Verification.
CoRR
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2023 J jnl
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.
CoRR
Severin Bals, Alexandros Evangelidis, Kush Grover, Jan Kretínský, Jakob Waibel
2023 — conf
Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.
TOOLympics@ETAPS
Roman Andriushchenko, Alexander Bork, Carlos E. Budde, Milan Ceska, Kush Grover, Ernst Moritz Hahn, Arnd Hartmanns, Bryant Israelsen, Nils Jansen, Joshua Jeppson, Sebastian Junges, Maximilian A. Köhl, Bettina Könighofer, Jan Kretínský, Tobias Meggendorfer, David Parker, Stefan Pranger, Tim Quatmann, Enno Ruijters, Landon Taylor, Matthias Volk, Maximilian Weininger, Zhen Zhang
2022 B conf
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.
CONCUR
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger
2022 A* conf
Planning via model checking with decision-tree controllers.
ICRA
Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretínský
2021 — conf
Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games.
CDC
Maximilian Weininger, Kush Grover, Shruti Misra, Jan Kretínský
2021 — conf
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments.
Robotics: Science and Systems
Kush Grover, Fernando S. Barbosa, Jana Tumova, Jan Kretínský
2020 J jnl
An Anytime Algorithm for Reachability on Uncountable MDP.
CoRR
Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger