| 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 | 13 | 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 | 9 | 2019 |
| 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 | 2 | 2021 |
| 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, ... | | |
