48 citations · 48 across the 1 of their papers we have counts for
1 paper · 1 filter
Arthur Clavière, Eric Asselin, Christophe Garion +1
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 ne…