Suivre
Arthur Clavière
Arthur Clavière
Adresse e-mail validée de onera.fr
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
162021
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
92019
Towards certification of a reduced footprint acas-xu system: A hybrid ml-based solution
M Damour, FD Grancey, C Gabreau, A Gauffriau, JB Ginestet, A Hervieu, ...
International Conference on Computer Safety, Reliability, and Security, 34-48, 2021
52021
Verification of machine learning based cyber-physical systems: a comparative study
A Clavière, L Altieri Sambartolomé, E Asselin, C Garion, C Pagetti
25th ACM International Conference on Hybrid Systems: Computation and Control …, 2022
2022
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–6