Karan Muvvala

According to our database, Karan Muvvala authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics.

Karan Muvvala, Morteza Lahijanian

CoRR, 2024

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games.

Karan Muvvala, Qi Heng Ho, Morteza Lahijanian

CoRR, 2024

Stochastic Games for Interactive Manipulation Domains.

Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023

Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks.

Karan Muvvala, Morteza Lahijanian

IROS, 2023

2022

Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions.

Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation.

Karan Muvvala, Peter Amorese, Morteza Lahijanian

Proceedings of the 2022 International Conference on Robotics and Automation, 2022