Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks.

Calvin Chau, Jan Kretnsk, Stefanie Mohr

Browse the full ATVA paper archive.