Kush Grover

Orcid: 0000-0003-4575-1302

According to our database1, Kush Grover authored at least 15 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
8
1
1
1
1
2
2
6
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Efficient Control via Reachability Synthesis for Cyber-Physical Systems.
PhD thesis, 2024

Tools at the Frontiers of Quantitative Verification.
CoRR, 2024

Learning Explainable and Better Performing Representations of POMDP Strategies.
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.
Dataset, December, 2023

Artifact for Paper: Learning Explainable and Better Performing Representations of POMDP Strategies.
Dataset, December, 2023

QComp LRA results.
Dataset, August, 2023

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.
Dataset, May, 2023

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.
Dataset, May, 2023

MultiGain 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.
Dataset, May, 2023

MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints.
CoRR, 2023

2022
Planning via model checking with decision-tree controllers.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021
Semantic Abstraction-Guided Motion Planning for scLTL Missions in Unknown Environments.
Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020
An Anytime Algorithm for Reachability on Uncountable MDP.
CoRR, 2020


  Loading...