Maxime Gariel

According to our database, Maxime Gariel authored at least 12 papers between 2007 and 2026.

Collaborative distances:

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

2026

Lipschitz Optimization for Formal Verification of Homographies.

Jean-Guillaume Durand, Panagiotis Kouvaros, Maxime Gariel, Alessio Lomuscio

CoRR, May, 2026

2024

Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems.

Robert J. Moss, Mykel J. Kochenderfer, Maxime Gariel, Arthur Dubois

J. Aerosp. Inf. Syst., 2024

2023

Bayesian Safety Validation for Black-Box Systems.

Robert J. Moss, Mykel J. Kochenderfer, Maxime Gariel, Arthur Dubois

CoRR, 2023

Framework for Certification of AI-Based Systems.

Maxime Gariel, Brian Shimanuki, Rob Timpe, Evan Wilson

CoRR, 2023

2011

Trajectory Clustering and an Application to Airspace Monitoring.

Maxime Gariel, Ashok N. Srivastava, Eric Feron

IEEE Trans. Intell. Transp. Syst., 2011

Aircraft Proximity Maps Based on Data-Driven Flow Modeling

Erwan Salaün, Maxime Gariel, Adan Vela, Eric Feron

CoRR, 2011

On the Statistics and Predictability of Go-Arounds.

Maxime Gariel, Kevin Spieser, Emilio Frazzoli

Proceedings of the 2011 Conference on Intelligent Data Understanding, 2011

2010

Toward a graceful degradation of air traffic management systems.

Maxime Gariel

PhD thesis, 2010

Determining bounds on controller workload rates at an intersection.

Adan Vela, Erwan Salaün, Maxime Gariel, Eric Feron, John-Paul Clarke, William Singhose

Proceedings of the American Control Conference, 2010

2008

Graceful Degradation of Air Traffic Operations: Airspace Sensitivity to Degraded Surveillance Systems.

Maxime Gariel, Eric Feron

Proc. IEEE, 2008

Graceful Degradation of Air Traffic Operations

Maxime Gariel, Eric Feron

CoRR, 2008

2007

A Dynamic I/O Model for TRACON Traffic Management

Maxime Gariel, John-Paul Clarke, Eric Feron

CoRR, 2007