This paper develops methods for proving Lyapunov stability of dynamical
...
This paper considers enforcing safety and stability of dynamical systems...
This paper considers safe control synthesis for dynamical systems in the...
Control barrier functions are widely used to enforce safety properties i...
We present a machine learning framework for multi-agent systems to learn...