Följ
Kush Grover
Kush Grover
PhD, TU Munich
Verifierad e-postadress på tum.de - Startsida
Titel
Citeras av
Citeras av
År
Semantic abstraction-guided motion planningfor scltl missions in unknown environments
K Grover, FS Barbosa, J Tumova, J Kretınsky
Robotics: Science and Systems, 2021
72021
Anytime Guarantees for Reachability in Uncountable Markov Decision Processes
K Grover, J Křetínský, T Meggendorfer, M Weininger
33rd International Conference on Concurrency Theory (CONCUR 2022), 2022
32022
Planning via model checking with decision-tree controllers
J Kiesbye, K Grover, P Ashok, J Křetínský
2022 International Conference On Robotics And Automation (ICRA), 4347-4354, 2022
22022
Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games
M Weininger, K Grover, S Misra, J Křetínský
2021 60th IEEE Conference on Decision and Control (CDC), 3786-3793, 2021
22021
Learning Explainable and Better Performing Representations of POMDP Strategies
A Bork, D Chakraborty, K Grover, J Křetínský, S Mohr
International Conference on Tools and Algorithms for the Construction and …, 2024
12024
Tools at the frontiers of quantitative verification: QComp 2023 competition report
R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ...
12024
Model Checking for Proving and Improving Fault Tolerance of Satellites
J Kiesbye, K Grover, J Křetínský
2023 IEEE Aerospace Conference, 1-9, 2023
12023
MULTIGAIN 2.0: MDP controller synthesis for multiple mean-payoff, LTL and steady-state constraints
S Bals, A Evangelidis, K Grover, J Kretinsky, J Waibel
arXiv preprint arXiv:2305.16752, 2023
2023
Tools at the Frontiers of Quantitative Verification
R Andriushchenko, A Bork, CE Budde, M Češka, K Grover, EM Hahn, ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–9