Ryan Gardner

A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System

Jean-Baptiste Jeannin, André Platzer, Ryan Gardner, 2015, TACAS.

Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning

Mykel J. Kochenderfer, Michael P. Owen, Ryan Gardner, 2020, J. Artif. Intell. Res..

Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning pdf

Ole J. Mengshoel, Mykel J. Kochenderfer, Michael P. Owen, 2018, ArXiv.

Probabilistic model checking of the next-generation airborne collision avoidance system

Anshu Saksena, Raymond McDowell, Ryan W. Gardner, 2016, 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).

Differential Adaptive Stress Testing of Airborne Collision Avoidance Systems

Ole J. Mengshoel, Anshu Saksena, Ryan Gardner, 2017 .

Enabling real-time execution: Runtime-efficiency improvements for the next-generation airborne collision avoidance algorithms

Ryan W. Gardner, Jeffrey S. Brush, Ryan Gardner, 2016, 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system

Jean-Baptiste Jeannin, André Platzer, Ryan Gardner, 2016, International Journal on Software Tools for Technology Transfer.

Formal verification of ACAS X, an industrial airborne collision avoidance system

Jean-Baptiste Jeannin, André Platzer, Ryan Gardner, 2015, 2015 International Conference on Embedded Software (EMSOFT).