Karan Muvvala

According to our database, Karan Muvvala authored at least 5 papers between 2022 and 2025.

Collaborative distances:

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

2025

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

Karan Muvvala, Qi Heng Ho, Morteza Lahijanian

Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, 2025

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