Sign in
Kush Grover
Publication Activity (10 Years)
Years Active: 2020-2024
Publications (10 Years): 7
Top Topics
Controller Synthesis
Markov Decision Process
Finite State
Dynamically Updated
Top Venues
CoRR
ICRA
CDC
CONCUR
</>
Publications
</>
Alexander Bork
,
Debraj Chakraborty
,
Kush Grover
,
Jan Kretinský
,
Stefanie Mohr
Learning Explainable and Better Performing Representations of POMDP Strategies.
CoRR
(2024)
Severin Bals
,
Alexandros Evangelidis
,
Kush Grover
,
Jan Kretinský
,
Jakob Waibel
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.
CoRR
(2023)
Jonis Kiesbye
,
Kush Grover
,
Pranav Ashok
,
Jan Kretínský
Planning via model checking with decision-tree controllers.
ICRA
(2022)
Kush Grover
,
Jan Kretínský
,
Tobias Meggendorfer
,
Maximilian Weininger
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.
CONCUR
(2022)
Maximilian Weininger
,
Kush Grover
,
Shruti Misra
,
Jan Kretínský
Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games.
CDC
(2021)
Kush Grover
,
Fernando S. Barbosa
,
Jana Tumova
,
Jan Kretínský
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments.
Robotics: Science and Systems
(2021)
Kush Grover
,
Jan Kretínský
,
Tobias Meggendorfer
,
Maximilian Weininger
An Anytime Algorithm for Reachability on Uncountable MDP.
CoRR
(2020)