Arthur Clavière

According to our database, Arthur Clavière authored at least 4 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Verification of machine learning based cyber-physical systems: a comparative study.

Arthur Clavière, Laura Altieri Sambartolomé, Eric Asselin, Christophe Garion, Claire Pagetti

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution.

Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavière

Proceedings of the Computer Safety, Reliability, and Security, 2021

Safety Verification of Neural Network Controlled Systems.

Arthur Clavière, Eric Asselin, Christophe Garion, Claire Pagetti

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2019

Trajectory Tracking Control for Robotic Vehicles Using Counterexample Guided Training of Neural Networks.

Arthur Clavière, Souradeep Dutta, Sriram Sankaranarayanan

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019