18 citations · 19 across the 2 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.LG2021★ 1 cited
Overestimation learning with guarantees
Adrien Gauffriau, François Malgouyres, Mélanie Ducoffe
We describe a complete method that learns a neural network which is guaranteed to overestimate a reference function on a given domain. The neural network can then be used as a surr…