Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2402.10998
Cited By
Provably Safe Neural Network Controllers via Differential Dynamic Logic
16 February 2024
Samuel Teuber
Stefan Mitsch
André Platzer
AAML
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Provably Safe Neural Network Controllers via Differential Dynamic Logic"
2 / 2 papers shown
Title
Safe Nonlinear Control Using Robust Neural Lyapunov-Barrier Functions
Charles Dawson
Zengyi Qin
Sicun Gao
Chuchu Fan
104
168
0
14 Sep 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Guy Katz
Clark W. Barrett
D. Dill
Kyle D. Julian
Mykel Kochenderfer
AAML
222
1,818
0
03 Feb 2017
1
