Showing cs.ROShow all
2 papers · 1 filter
cs.RO2024
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…
cs.RO2024
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…