Muvvala, Karan

2 publications

IJCAI 2025 Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games Karan Muvvala, Qi Heng Ho, Morteza Lahijanian

NeurIPS 2022 Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions Rayan Mazouz, Karan Muvvala, Akash Ratheesh Babu, Luca Laurenti, Morteza Lahijanian