Arthur Clavière

Arthur Clavière

Office national d'études et de recherches aérospatiales - Palaiseau / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 5278760
National Office for Aerospace Studies and Research
person_outline Arthur Clavière's MOST POPULAR ARTICLES
1-) Safety verification of neural network controlled systemsA Clavière, E Asselin, C Garion, C Pagetti2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021322021
2-) Towards certification of a reduced footprint acas-xu system: A hybrid ml-based solutionM Damour, F De Grancey, C Gabreau, A Gauffriau, JB Ginestet, A Hervieu, ...Computer Safety, Reliability, and Security: 40th International Conference …, 2021152021
3-) Trajectory tracking control for robotic vehicles using counterexample guided training of neural networksA Claviere, S Dutta, S SankaranarayananProceedings of the International Conference on Automated Planning and …, 2019152019
4-) Verification of machine learning based cyber-physical systems: a comparative studyA Clavière, L Altieri Sambartolomé, E Asselin, C Garion, C PagettiProceedings of the 25th ACM International Conference on Hybrid Systems …, 202212022
5-) SAM: un outil de vérification de propriétés d\'atteignabilité sur des classificateurs neuronauxA Claviere, E Asselin, C Garion, C PagettiModélisation des Systèmes Réactifs (MSR\'23), 20232023