Kush Grover
Orcid: 0000-0003-4575-1302
According to our database1,
Kush Grover
authored at least 15 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
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 OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
PhD thesis, 2024
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
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
Proceedings of the 2022 International Conference on Robotics and Automation, 2022
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
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
2020