Introspection Learning. - Chris R. Serrano; Michael A. Warren (CoRR, 2019)

RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks. - Christopher R. Serrano; Pape M. Sylla; Sicun Gao; Michael A. Warren (SP (Workshops), 2020)

Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems. - Chris R. Serrano; Pape M. Sylla; Michael A. Warren (CoRR, 2020)

Assured Point Cloud Perception. - Christopher R. Serrano; Aleksey Nogin; Michael A. Warren (ICAA, 2023)

Self-Satisfied: An end-to-end framework for SAT generation and prediction. - Christopher R. Serrano; Jonathan Gallagher; Kenji Yamada; Alexei Kopylov; Michael A. Warren (CoRR, 2024)