Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models

7 July 2020

Papers citing "Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models"

4 / 4 papers shown

Title
Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers D. Ahmed Andrea Peruffo Alessandro Abate 26 38 0 21 Jul 2020
Neural Lyapunov Control Ya-Chien Chang Nima Roohi Sicun Gao 47 301 0 01 May 2020
Formal Synthesis of Lyapunov Neural Networks Alessandro Abate D. Ahmed Mirco Giacobbe Andrea Peruffo 20 5 0 19 Mar 2020
The Lyapunov Neural Network: Adaptive Stability Certification for Safe Learning of Dynamical Systems Spencer M. Richards Felix Berkenkamp Andreas Krause 36 227 0 02 Aug 2018