RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems

From MaRDI portal
Publication:6487328