no code implementations • 10 Nov 2020 • Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti
In this paper, we propose a system-level approach for verifying the safety of neural network controlled systems, combining a continuous-time physical system with a discrete-time neural network based controller.