18 citations · 18 across the 1 of their papers we have counts for
2 papers
cs.AI2021★ 18 cited
White Paper Machine Learning in Certified Systems
Hervé Delseny, Christophe Gabreau, Adrien Gauffriau +25
Machine Learning (ML) seems to be one of the most promising solution to automate partially or completely some of the complex tasks currently realized by humans, such as driving veh…
cs.AI2020
Safety Verification of Neural Network Controlled Systems
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…