Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models.

Andrea Peruffo, Daniele Ahmed, Alessandro Abate

Browse the full TACAS paper archive.