Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers.

Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren

Browse the full FM paper archive.