Kush Grover

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

Collaborative distances:

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

2024

Efficient Control via Reachability Synthesis for Cyber-Physical Systems.

Kush Grover

PhD thesis, 2024

Tools at the Frontiers of Quantitative Verification.

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

CoRR, 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

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies.

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

Dataset, December, 2023

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies.

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

Dataset, December, 2023

QComp LRA results.

Kush Grover, Maximilian Weininger, Jan Kretínský

Dataset, August, 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

Dataset, May, 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

Dataset, May, 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

Dataset, May, 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

Tools at the Frontiers of Quantitative Verification - QComp 2023 Competition Report.

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

Proceedings of the TOOLympics Challenge 2023, 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