Peruffo, A., Ahmed, D., Abate, A., 2021. Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-030-72016-2_20