Vol-2986⫷ Vol-2987 ⫸Vol-2988
urn:nbn:de:0074-2987-0


Vol-2987/paper12⫷Vol-2987/paper13⫸Vol-2987/paper14
Alessandro AbateDaniele AhmedAlec EdwardsMirco GiacobbeAndrea Peruffo

A Software Tool for the Formal Synthesis of Lyapunov Functions and Barrier Certificates using Neural Networks