137 citations · 510 across the 88 of their papers we have counts for
7 papers · 1 filter
A Distributed Simplex Architecture for Multi-Agent Systems
Usama Mehmood, Scott D. Stoller, Radu Grosu +3
We present Distributed Simplex Architecture (DSA), a new runtime assurance technique that provides safety guarantees for multi-agent systems (MASs). DSA is inspired by the Simplex…
On The Verification of Neural ODEs with Stochastic Guarantees
Sophie Gruenbacher, Ramin Hasani, Mathias Lechner +3
We show that Neural ODEs, an emerging class of time-continuous neural networks, can be verified by solving a set of global-optimization problems. For this purpose, we introduce Sto…
Lagrangian Reachtubes: The Next Generation
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner +3
We introduce LRT-NG, a set of techniques and an associated toolset that computes a reachtube (an over-approximation of the set of reachable states over a given time horizon) of a n…
Liquid Time-constant Networks
Ramin Hasani, Mathias Lechner, Alexander Amini +2
We introduce a new class of time-continuous recurrent neural network models. Instead of declaring a learning system's dynamics by implicit nonlinearities, we construct networks of…
Learning Distributed Controllers for V-Formation
Shouvik Roy, Usama Mehmood, Radu Grosu +3
We show how a high-performing, fully distributed and symmetric neural V-formation controller can be synthesized from a Centralized MPC (Model Predictive Control) controller using D…
ResNets, NeuralODEs and CT-RNNs are Particular Neural Regulatory Networks
Radu Grosu
This paper shows that ResNets, NeuralODEs, and CT-RNNs, are particular neural regulatory networks (NRNs), a biophysical model for the nonspiking neurons encountered in small specie…