Michael A. Warren

According to our database, Michael A. Warren authored at least 16 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2023

Assured Point Cloud Perception.

Christopher R. Serrano, Aleksey Nogin, Michael A. Warren

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022

Formal Verification of Octorotor Flight Envelope Using Barrier Functions and Satisfiability Modulo Theories Solving.

Byron Heersink, Pape M. Sylla, Michael A. Warren

IEEE Control. Syst. Lett., 2022

2021

Formal verification of octorotor flight envelope using barrier functions and SMT solving.

Byron Heersink, Pape M. Sylla, Michael A. Warren

CoRR, 2021

Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers.

Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren

Proceedings of the Formal Methods - 24th International Symposium, 2021

2020

Generate and Verify: Semantically Meaningful Formal Analysis of Neural Network Perception Systems.

Chris R. Serrano, Pape M. Sylla, Michael A. Warren

CoRR, 2020

RTA3: A Real Time Adversarial Attack on Recurrent Neural Networks.

Christopher R. Serrano, Pape M. Sylla, Sicun Gao, Michael A. Warren

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

2019

Introspection Learning.

Chris R. Serrano, Michael A. Warren

CoRR, 2019

2015

The Local Universes Model: An Overlooked Coherence Construction for Dependent Type Theories.

Peter LeFanu Lumsdaine, Michael A. Warren

ACM Trans. Comput. Log., 2015

A univalent formalization of the <i>p</i>-adic numbers.

Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren

Math. Struct. Comput. Sci., 2015

2013

A preliminary univalent formalization of the p-adic numbers

Álvaro Pelayo, Vladimir Voevodsky, Michael A. Warren

CoRR, 2013

Combinatorial realizability models of type theory.

Pieter J. W. Hofstra, Michael A. Warren

Ann. Pure Appl. Log., 2013

Martin-Löf complexes.

Steven Awodey, Pieter J. W. Hofstra, Michael A. Warren

Ann. Pure Appl. Log., 2013

2012

Homotopy type theory and Voevodsky's univalent foundations

Álvaro Pelayo, Michael A. Warren

CoRR, 2012

2009

Lawvere - Tierney sheaves in Algebraic Set Theory.

Steven Awodey, Nicola Gambino, Peter LeFanu Lumsdaine, Michael A. Warren

J. Symb. Log., 2009

2007

Coalgebras in a category of classes.

Michael A. Warren

Ann. Pure Appl. Log., 2007