8 citations · 8 across the 6 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022★ 8 cited
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.RO2022
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…