| 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 | 32 | 2021 |
| 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 | 15 | 2019 |
| 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 | 13 | 2021 |
| 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 | 1 | 2022 |
| 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 |
| Etude comparative des méthodes pour la vérification des systèmes cyber-physiques basés machine learning A Clavière, L Altieri-Sambartolomé, E Asselin, C Garion, C Pagetti Proceedings” Approches formelles dans l’assistance au développement du …, 0 | | |
| 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, ... | | |
