most citedVerification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

35 citations · 35 across the 1 of their papers we have counts for

collaborators

1 paper

eess.SY2021★ 35 cited

Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

Christian Schilling, Marcelo Forets, Sebastian Guadalupe

We study the verification problem for closed-loop dynamical systems with neural-network controllers (NNCS). This problem is commonly reduced to computing the set of reachable state…