18 citations · 29 across the 16 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.NE2023★ 1 cited
Formal description of ML models for unambiguous implementation
Adrien Gauffriau, Iryna De Albuquerque Silva, Claire Pagetti
Implementing deep neural networks in safety critical systems, in particular in the aeronautical domain, will require to offer adequate specification paradigms to preserve the seman…
cs.CV2023★ 7 cited
LARD -- Landing Approach Runway Detection -- Dataset for Vision Based Landing
Mélanie Ducoffe, Maxime Carrere, Léo Féliers +4
As the interest in autonomous systems continues to grow, one of the major challenges is collecting sufficient and representative real-world data. Despite the strong practical and c…