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

Eric Goubault, Sylvie Putot

Browse the full CAV paper archive.