8 citations · 8 across the 6 of their papers we have counts for
6 papers
Admissibility Over Winning: A New Approach to Reactive Synthesis in Robotics
Karan Muvvala, Morteza Lahijanian
Reactive synthesis is a framework for modeling and automatically synthesizing strategies in robotics, typically through computing a \emph{winning} strategy in a 2-player game betwe…
Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
Karan Muvvala, Qi Heng Ho, Morteza Lahijanian
Classical reactive synthesis approaches aim to synthesize a reactive system that always satisfies a given specifications. These approaches often reduce to playing a two-player zero…
Stochastic Games for Interactive Manipulation Domains
Karan Muvvala, Andrew M. Wells, Morteza Lahijanian +2
As robots become more prevalent, the complexity of robot-robot, robot-human, and robot-environment interactions increases. In these interactions, a robot needs to consider not only…
Efficient Symbolic Approaches for Quantitative Reactive Synthesis with Finite Tasks
Karan Muvvala, Morteza Lahijanian
This work introduces efficient symbolic algorithms for quantitative reactive synthesis. We consider resource-constrained robotic manipulators that need to interact with a human to…
Safety Guarantees for Neural Network Dynamic Systems via Stochastic Barrier Functions
Rayan Mazouz, Karan Muvvala, Akash Ratheesh +2
Neural Networks (NNs) have been successfully employed to represent the state evolution of complex dynamical systems. Such models, referred to as NN dynamic models (NNDMs), use iter…
Let's Collaborate: Regret-based Reactive Synthesis for Robotic Manipulation
Karan Muvvala, Peter Amorese, Morteza Lahijanian
As robots gain capabilities to enter our human-centric world, they require formalism and algorithms that enable smart and efficient interactions. This is challenging, especially fo…