Kush Grover

According to our database, Kush Grover authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Learning Explainable and Better Performing Representations of POMDP Strategies.

Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretínský, Stefanie Mohr

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

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

2022

Planning via model checking with decision-tree controllers.

Jonis Kiesbye, Kush Grover, Pranav Ashok, Jan Kretínský

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.

Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments.

Kush Grover, Fernando S. Barbosa, Jana Tumova, Jan Kretínský

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games.

Maximilian Weininger, Kush Grover, Shruti Misra, Jan Kretínský

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

An Anytime Algorithm for Reachability on Uncountable MDP.

Kush Grover, Jan Kretínský, Tobias Meggendorfer, Maximilian Weininger

CoRR, 2020