Karan Muvvala

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 8

Top Topics

Dynamic Systems

Qualitative Reasoning

Top Venues

Publications

Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
Stochastic Games for Interactive Manipulation Domains. ICRA (2024)
Karan Muvvala, Andrew M. Wells, Morteza Lahijanian, Lydia E. Kavraki, Moshe Y. Vardi
Stochastic Games for Interactive Manipulation Domains. CoRR (2024)
Karan Muvvala, Morteza Lahijanian
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks. IROS (2023)
Karan Muvvala, Morteza Lahijanian
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks. CoRR (2023)
Karan Muvvala, Peter Amorese, Morteza Lahijanian
Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation. ICRA (2022)
Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions. NeurIPS (2022)
Rayan Mazouz, Karan Muvvala, Akash Ratheesh, Luca Laurenti, Morteza Lahijanian
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions. CoRR (2022)
Karan Muvvala, Peter Amorese, Morteza Lahijanian
Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation. CoRR (2022)