Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers

21 July 2020

Papers citing "Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers"

1 / 1 papers shown

Title
Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification Jun Liu Yiming Meng Maxwell Fitzsimmons Rui Zhou 53 17 0 14 Dec 2023