Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation. - Karan Muvvala; Peter Amorese; Morteza Lahijanian (ICRA, 2022)

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

Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks. - Karan Muvvala; Morteza Lahijanian (IROS, 2023)

Stochastic Games for Interactive Manipulation Domains. - Karan Muvvala; Andrew M. Wells; Morteza Lahijanian; Lydia E. Kavraki; Moshe Y. Vardi (ICRA, 2024)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games. - Karan Muvvala; Qi Heng Ho; Morteza Lahijanian (CoRR, 2024)