author-photo

Ryan Gardner

Johns Hopkins University Applied Physics Laboratory

17

Papers

153

Citations

Citation Trend

Filter By

Papers (9) Sort By

Journal Conference Others

Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning

2020 Journal of Artificial Intelligence Research
Show All
- Source
- Cite
- Save
Citations (12)
On the Complexity of Reconnaissance Blind Chess.

2018 arXiv: Artificial Intelligence
Show All
- Source
- Cite
- Save
Citations (4)
Enabling real-time execution: Runtime-efficiency improvements for the next-generation airborne collision avoidance algorithms

2016 DASC | IEEE/AIAA Digital Avionics Systems Conference
- Ryan Gardner
- Jeffrey S. Brush
Show All
- Source
- Cite
- Save
Citations (1)
Formal verification of ACAS X, an industrial airborne collision avoidance system

2015 | International Conference on Embedded Software
Show All
- Source
- Cite
- Save
Citations (0)
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System

2015 TACAS | Tools and Algorithms for Construction and Analysis of Systems
Show All
- Source
- Cite
- Save
Citations (61)
Formal verification of ACAS X, an industrial airborne collision avoidance system

2015 EMSOFT | Embedded Software
Show All
- Source
- Cite
- Save
Citations (27)
COMPOSERS' FORUM Sunday, April 17, 2005 8:30 p.m. Hirsch Orchestra Rehearsal Hall

2005
Show All
- Source
- Cite
- Save
Citations (0)
MELODY JOHNSON Soprano MASTER'S RECITAL Friday, November 5, 2004 5:00 p.m. Lillian H. Duncan Recital Hall

2004
Show All
- Source
- Cite
- Save
Citations (0)
CLASS RECITAL featuring trumpet students of Marie Speziale Monday, March 8, 2004 12:15 p.m., Room 1133 Alice Pratt Brown Hall

2004
Show All
- Source
- Cite
- Save
Citations (0)