Suivre
Arthur Clavière
Arthur Clavière
Collins Aerospace
Adresse e-mail validée de collins.com
Titre
Citée par
Citée par
Année
Safety verification of neural network controlled systems
A Clavière, E Asselin, C Garion, C Pagetti
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems …, 2021
322021
Trajectory tracking control for robotic vehicles using counterexample guided training of neural networks
A Claviere, S Dutta, S Sankaranarayanan
Proceedings of the International Conference on Automated Planning and …, 2019
162019
Towards certification of a reduced footprint acas-xu system: A hybrid ml-based solution
M Damour, F De Grancey, C Gabreau, A Gauffriau, JB Ginestet, A Hervieu, ...
Computer Safety, Reliability, and Security: 40th International Conference …, 2021
132021
Verification of machine learning based cyber-physical systems: a comparative study
A Clavière, L Altieri Sambartolomé, E Asselin, C Garion, C Pagetti
Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022
22022
SAM: un outil de vérification de propriétés d'atteignabilité sur des classificateurs neuronaux
A Claviere, E Asselin, C Garion, C Pagetti
Modélisation des Systèmes Réactifs (MSR'23), 2023
2023
Vérification de la sûreté des systèmes basés réseaux de neurones s' appuyant sur les méthodes formelles
A Clavière
Toulouse, ISAE, 2023
2023
Vérification formelle de la sûreté d’un système contrôlé par réseaux de neurones
A Clavière, E Asselin, C Garion, C Pagetti
ACTES DES 20ÈMES JOURNÉES, 5, 2021
2021
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)| 978-1-6654-3950-3/21/$31.00© 2021 IEEE| DOI: 10.1109/DSN-W52860. 2021 …
F Ahmad, Y Amir, E Asselin, V Bandur, TA Beyene, G Boisvert, T Braun, ...
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–8