37 citations · 58 across the 6 of their papers we have counts for
7 papers
Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems
Robert J. Moss, Mykel J. Kochenderfer, Maxime Gariel +1
Estimating the probability of failure is an important step in the certification of safety-critical systems. Efficient estimation methods are often needed due to the challenges pose…
Framework for Certification of AI-Based Systems
Maxime Gariel, Brian Shimanuki, Rob Timpe +1
The current certification process for aerospace software is not adapted to "AI-based" algorithms such as deep neural networks. Unlike traditional aerospace software, the precise pa…
On the Statistics and Predictability of Go-Arounds
Maxime Gariel, Kevin Spieser, Emilio Frazzoli
This paper takes an empirical approach to identify operational factors at busy airports that may predate go-around maneuvers. Using four years of data from San Francisco Internatio…
Aircraft Proximity Maps Based on Data-Driven Flow Modeling
Erwan Salaün, Maxime Gariel, Adan Vela +1
With the forecast increase in air traffic demand over the next decades, it is imperative to develop tools to provide traffic flow managers with the information required to support…
Trajectory Clustering and an Application to Airspace Monitoring
Maxime Gariel, Ashok N. Srivastava, Eric Feron
This paper presents a framework aimed at monitoring the behavior of aircraft in a given airspace. Nominal trajectories are determined and learned using data driven methods. Standar…
Graceful Degradation of Air Traffic Operations
Maxime Gariel, Eric Feron
The introduction of new technologies and concepts of operation in the air transportation system is not possible, unless they can be proven not to adversely affect the system operat…