Formal Verification of CNN-based Perception Systems.

Panagiotis Kouvaros Alessio Lomuscio

Published in: CoRR (2018)

Keyphrases

formal verification
automated verification
intelligent systems
neural network
complex systems
symbolic model checking
distributed systems