متابعة
Karan Muvvala
Karan Muvvala
PhD Student | University of Colorado Boulder
بريد إلكتروني تم التحقق منه على colorado.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions‏
M Rayan*, M Karan*, R Akash, L Luca, L Morteza‏
Conference on Neural Information Processing Systems, 2022‏
26*2022
Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation‏
K Muvvala, P and Amorese, M and Lahijanian‏
2022 International Conference on Robotics and Automation (ICRA), 4340-4346, 2022‏
132022
Expert-Informed Autonomous Science Planning for In-situ Observations and Discoveries‏
J McMahon, N Ahmed, M Lahijanian, P Amorese, D Taralicin, K Muvvala, ...‏
2022 IEEE Aerospace Conference (AERO), 1-11, 2022‏
72022
Reason-recourse software for science operations of autonomous robotic landers‏
J McMahon, N Ahmed, M Lahijanian, P Amorese, T Deka, K Muvvala, ...‏
2023 IEEE Aerospace Conference, 1-11, 2023‏
52023
Beyond winning strategies: Admissible and admissible winning strategies for quantitative reachability games‏
K Muvvala, QH Ho, M Lahijanian‏
arXiv preprint arXiv:2408.13369, 2024‏
12024
Efficient symbolic approaches for quantitative reactive synthesis with finite tasks‏
K Muvvala, M Lahijanian‏
2023 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2023‏
12023
Stochastic Games for Interactive Manipulation Domains‏
K Muvvala, A Wells, M Lahijanian, L Kavraki, M Vardi‏
2024 IEEE International Conference on Robotics & Automation, 2023‏
12023
Human-aware strategy synthesis for robotic manipulators using regret games‏
K Muvvala‏
University of Colorado at Boulder, 2021‏
12021
Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics‏
K Muvvala, M Lahijanian‏
arXiv preprint arXiv:2410.04573, 2024‏
2024
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–9