Chris R. Serrano

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Semantically Meaningful

Formal Analysis

Learning Mechanism

Top Venues

Publications

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