Michael A. Warren

18 papers B 1C 1Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2025 C conf
CDOPS: Complex Dynamics of Online Professional Squads.
CoG
Brianna Duffy, Jonathan Gallagher, Jocelyn Rego, Wael Fatnassi, Michael A. Warren
2025 J jnl
Provably effective detection of effective data poisoning attacks.
CoRR
Jonathan Gallagher, Yasaman Esfandiari, Callen MacPhee, Michael A. Warren
2024 J jnl
Self-Satisfied: An end-to-end framework for SAT generation and prediction.
CoRR
Christopher R. Serrano, Jonathan Gallagher, Kenji Yamada, Alexei Kopylov, Michael A. Warren
2023 — conf
Assured Point Cloud Perception.
ICAA
Christopher R. Serrano, Aleksey Nogin, Michael A. Warren
2022 J jnl
Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving.
IEEE Control. Syst. Lett.
Byron Heersink, Pape M. Sylla, Michael A. Warren
2021 J jnl
Formal verification of octorotor flight envelope using barrier functions and SMT solving.
CoRR
Byron Heersink, Pape M. Sylla, Michael A. Warren
2021 B conf
Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers.
FM
Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren
2020 J jnl
Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems.
CoRR
Chris R. Serrano, Pape M. Sylla, Michael A. Warren
2020 — conf
RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks.
SP (Workshops)
Christopher R. Serrano, Pape M. Sylla, Sicun Gao, Michael A. Warren
2019 J jnl
Introspection Learning.
CoRR
Chris R. Serrano, Michael A. Warren
2015 J jnl
A univalent formalization of the
Math. Struct. Comput. Sci.
Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren
2015 J jnl
The Local Universes Model: An Overlooked Coherence Construction for Dependent Type Theories.
ACM Trans. Comput. Log.
Peter LeFanu Lumsdaine, Michael A. Warren
2013 J jnl
A preliminary univalent formalization of the p-adic numbers
CoRR
Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren
2013 J jnl
Combinatorial realizability models of type theory.
Ann. Pure Appl. Log.
Pieter J. W. Hofstra, Michael A. Warren
2013 J jnl
Martin-Löf complexes.
Ann. Pure Appl. Log.
Steven Awodey, Pieter J. W. Hofstra, Michael A. Warren
2012 J jnl
Homotopy type theory and Voevodsky's univalent foundations
CoRR
Álvaro Pelayo, Michael A. Warren
2009 J jnl
Lawvere - Tierney sheaves in Algebraic Set Theory.
J. Symb. Log.
Steven Awodey, Nicola Gambino, Peter LeFanu Lumsdaine, Michael A. Warren
2007 J jnl
Coalgebras in a category of classes.
Ann. Pure Appl. Log.
Michael A. Warren