8 citations · 8 across the 6 of their papers we have counts for
3 papers · 1 filter
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…