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

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

Published in: CoRR (2020)

Keyphrases

formal analysis
semantically meaningful
formal methods
agent model
computer vision
image sequences
expert systems