Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2003.08910
Cited By
v1
v2 (latest)
Formal Synthesis of Lyapunov Neural Networks
19 March 2020
Alessandro Abate
D. Ahmed
Mirco Giacobbe
Andrea Peruffo
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Formal Synthesis of Lyapunov Neural Networks"
1 / 1 papers shown
Title
Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models
Andrea Peruffo
D. Ahmed
Alessandro Abate
50
15
0
07 Jul 2020
1
