1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.CV2026
Lipschitz Optimization for Formal Verification of Homographies
Jean-Guillaume Durand, Panagiotis Kouvaros, Maxime Gariel +1
The adoption of vision neural networks in regulated industries requires formal robustness guarantees, especially in safety-critical domains such as healthcare, autonomous vehicles,…
cs.LG2023★ 1 cited
Formal and Practical Elements for the Certification of Machine Learning Systems
Jean-Guillaume Durand, Arthur Dubois, Robert J. Moss
Over the past decade, machine learning has demonstrated impressive results, often surpassing human capabilities in sensing tasks relevant to autonomous flight. Unlike traditional a…