Automated and Formal Synthesis of Neural Barrier Certificates for
Dynamical Models

v1v2 (latest)

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models

7 July 2020

Alessandro Abate

ArXiv (abs)PDF HTML

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

7 / 7 papers shown

Title
Safe Reach Set Computation via Neural Barrier Certificates Alessandro Abate Sergiy Bogomolov Alec Edwards Kostiantyn Potomkin Sadegh Soudjani Paolo Zuliani 38 2 0 29 Apr 2024
Safe Control with Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction methods Charles Dawson Sicun Gao Chuchu Fan 78 243 0 23 Feb 2022
Secure-by-Construction Synthesis of Cyber-Physical Systems Siyuan Liu Ashutosh Trivedi Xiang Yin Majid Zamani 3DV 68 44 0 14 Feb 2022
Learning Safe, Generalizable Perception-based Hybrid Control with Certificates Charles Dawson Bethany Lowenkamp D. Goff Chuchu Fan 99 54 0 04 Jan 2022
Infinite Time Horizon Safety of Bayesian Neural Networks Mathias Lechner Dorde Zikelic K. Chatterjee T. Henzinger 60 18 0 04 Nov 2021
Neural Termination Analysis Mirco Giacobbe Daniel Kroening Julian Parsert 72 17 0 07 Feb 2021
Learning Safe Neural Network Controllers with Barrier Certificates Hengjun Zhao Xia Zeng Taolue Chen Zhiming Liu Jim Woodcock 118 43 0 18 Sep 2020