Kush Grover, Dr. rer. nat.

2024

• Learning Explainable and Better Performing Representations of POMDP Strategies

  BORK Alexander CHAKRABORTY Debraj GROVER Kush KŘETÍNSKÝ Jan MOHR Stefanie

  Článek ve sborníku

  TACAS 2024, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2024

2022

• Anytime Guarantees for Reachability in Uncountable Markov Decision Processes

  GROVER Kush KŘETÍNSKÝ Jan MEGGENDORFER Tobias WEININGER Maximilian

  Článek ve sborníku

  33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland., rok: 2022

• Planning via model checking with decision-tree controllers

  KIESBYE Jonis GROVER Kush ASHOK Pranav KŘETÍNSKÝ Jan

  Článek ve sborníku

  2022 International Conference on Robotics and Automation, ICRA 2022, Philadelphia, PA, USA, May 23-27, 2022, rok: 2022

2021

• Guaranteed Trade-Offs in Dynamic Information Flow Tracking Games

  WEININGER Maximilian GROVER Kush MISRA Shruti KŘETÍNSKÝ Jan

  Článek ve sborníku

  2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, December 14-17, 2021, rok: 2021

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

  GROVER Kush BARBOSA Fernando S TŮMOVÁ Jana KŘETÍNSKÝ Jan

  Článek ve sborníku

  Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., rok: 2021