Arthur Clavire
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2021–2021
Best venue rank
A
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DSN | Safety Verification of Neural Network Controlled Systems. | Arthur Clavire, Eric Asselin, Christophe Garion, Claire Pagetti |
| 2021 | SAFECOMP | Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. | Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavire |