Ryan W. Gardner

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 13

Top Topics

Imitation Learning

Collision Avoidance

Original Signer

Top Venues

NeurIPS (Competition and Demos)

Int. J. Softw. Tools Technol. Transf.

Publications

Noah Ford, Ryan W. Gardner, Austin Juhl, Nathan Larson
Continuous Mean-Zero Disagreement-Regularized Imitation Learning (CMZ-DRIL). CoRR (2024)
Ryan W. Gardner, Tadayoshi Kohno, Alec Yasinsac
Attacking the Diebold Signature Variant - RSA Signatures with Unverified High-order Padding. CoRR (2024)
Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens, Raman Arora, I-Jeng Wang
A Risk-Sensitive Approach to Policy Optimization. AAAI (2023)
Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens, Raman Arora, I-Jeng Wang
A Risk-Sensitive Approach to Policy Optimization. CoRR (2022)
Gino Perrotta, Ryan W. Gardner, Corey Lowman, Mohammad Taufeeque, Nitish Tongia, Shivaram Kalyanakrishnan, Gregory Clark, Kevin Wang, Eitan Rothberg, Brady P. Garrison, Prithviraj Dasgupta, Callum Canavan, Lucas McCabe
The Second NeurIPS Tournament of Reconnaissance Blind Chess. NeurIPS (Competition and Demos) (2021)
Ryan W. Gardner, Gino Perrotta, Anvay Shah, Shivaram Kalyanakrishnan, Kevin A. Wang, Gregory Clark, Timo Bertram, Johannes Fürnkranz, Martin Müller, Brady P. Garrison, Prithviraj Dasgupta, Saeid Rezaei
The Machine Reconnaissance Blind Chess Tournament of NeurIPS 2022. NeurIPS (Competition and Demos) (2021)
Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning. J. Artif. Intell. Res. 69 (2020)
Ryan W. Gardner, Corey Lowman, Casey Richardson, Ashley J. Llorens, Jared Markowitz, Nathan Drenkow, Andrew Newman, Gregory Clark, Gino Perrotta, Robert Perrotta, Timothy Highley, Vlad Shcherbina, William Bernadoni, Mark Jordan, Asen Asenov
The First International Competition in Machine Reconnaissance Blind Chess. NeurIPS (Competition and Demos) (2019)
Ritchie Lee, Ole J. Mengshoel, Anshu Saksena, Ryan W. Gardner, Daniel Genin, Joshua Silbermann, Michael P. Owen, Mykel J. Kochenderfer
Adaptive Stress Testing: Finding Failure Events with Reinforcement Learning. CoRR (2018)
Jared Markowitz, Ryan W. Gardner, Ashley J. Llorens
On the Complexity of Reconnaissance Blind Chess. CoRR (2018)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Aurora C. Schmidt, Ryan W. Gardner, Stefan Mitsch, André Platzer
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
Formal verification of ACAS X, an industrial airborne collision avoidance system. EMSOFT (2015)
Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer
A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. TACAS (2015)
Ryan W. Gardner, Sujata Garera, Aviel D. Rubin
Designing for Audit: A Voting Machine with a Tiny TCB. Financial Cryptography (2010)
Ryan W. Gardner, Matt Bishop, Tadayoshi Kohno
Are Patched Machines Really Fixed? IEEE Secur. Priv. 7 (5) (2009)
Ryan W. Gardner, Sujata Garera, Aviel D. Rubin
Coercion Resistant End-to-end Voting. Financial Cryptography (2009)
Ryan W. Gardner, Sujata Garera, Aviel D. Rubin
Detecting code alteration by creating a temporary memory bottleneck. IEEE Trans. Inf. Forensics Secur. 4 (4) (2009)
Ryan W. Gardner, Sujata Garera, Aviel D. Rubin
On the Difficulty of Validating Voting Machine Software with Software. EVT (2007)
John Black, Martin Cochran, Ryan W. Gardner
A Security Analysis of the Internet Chess Club. IEEE Secur. Priv. 4 (1) (2006)
John Black, Martin Cochran, Ryan W. Gardner
Lessons Learned: A Security Analysis of the Internet Chess Club. ACSAC (2005)
John Black, Martin Cochran, Ryan W. Gardner
How to Cheat at Chess: A Security Analysis of the Internet Chess Club. IACR Cryptol. ePrint Arch. 2004 (2004)