2 papers
cs.LG2018
Formal Verification of CNN-based Perception Systems
Panagiotis Kouvaros, Alessio Lomuscio
We address the problem of verifying neural-based perception systems implemented by convolutional neural networks. We define a notion of local robustness based on affine and photome…
cs.NI2018
Formal Verification of a Programmable Hypersurface
Panagiotis Kouvaros, Dimitris Kouzapas, Anna Philippou +3
A metasurface is a surface that consists of artificial material, called metamaterial, with configurable electromagnetic properties. This paper presents work in progress on the desi…