3 papers
cs.GT2025
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…
eess.SY2025
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…
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…