Michael A. Warren

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 8

Top Topics

Satisfiability Modulo Theories

Formal Verification

Top Venues

Ann. Pure Appl. Log.

IEEE Control. Syst. Lett.

Math. Struct. Comput. Sci.

Publications

Christopher R. Serrano, Aleksey Nogin, Michael A. Warren
Assured Point Cloud Perception. ICAA (2023)
Byron Heersink, Pape M. Sylla, Michael A. Warren
Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving. IEEE Control. Syst. Lett. 6 (2022)
Byron Heersink, Pape M. Sylla, Michael A. Warren
Formal verification of octorotor flight envelope using barrier functions and SMT solving. CoRR (2021)
Chris R. Serrano, Pape M. Sylla, Michael A. Warren
Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems. CoRR (2020)
Christopher R. Serrano, Pape M. Sylla, Sicun Gao, Michael A. Warren
RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks. SP Workshops (2020)
Chris R. Serrano, Michael A. Warren
Introspection Learning. CoRR (2019)
Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren
-adic numbers. Math. Struct. Comput. Sci. 25 (5) (2015)
Peter LeFanu Lumsdaine, Michael A. Warren
The Local Universes Model: An Overlooked Coherence Construction for Dependent Type Theories. ACM Trans. Comput. Log. 16 (3) (2015)
Pieter J. W. Hofstra, Michael A. Warren
Combinatorial realizability models of type theory. Ann. Pure Appl. Log. 164 (10) (2013)
Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren
A preliminary univalent formalization of the p-adic numbers CoRR (2013)
Steven Awodey, Pieter J. W. Hofstra, Michael A. Warren
Martin-Löf complexes. Ann. Pure Appl. Log. 164 (10) (2013)
Álvaro Pelayo, Michael A. Warren
Homotopy type theory and Voevodsky's univalent foundations CoRR (2012)
Steven Awodey, Nicola Gambino, Peter LeFanu Lumsdaine, Michael A. Warren
Lawvere - Tierney sheaves in Algebraic Set Theory. J. Symb. Log. 74 (3) (2009)
Michael A. Warren
Coalgebras in a category of classes. Ann. Pure Appl. Log. 146 (1) (2007)