20 citations · 33 across the 6 of their papers we have counts for
7 papers
Validating, Not Sampling: Region-Level Robustness of Vision-Language and Vision-Language-Action Models
Bogdan Aron, Christopher Brix, Benedikt Brückner +3
Vision-language models (VLMs) and vision-language-action models (VLAs) are increasingly deployed in real-world applications. There, a small perturbation to the recorded camera imag…
Lipschitz Optimization for Formal Verification of Homographies
Jean-Guillaume Durand, Panagiotis Kouvaros, Maxime Gariel +1
The adoption of vision neural networks in regulated industries requires formal robustness guarantees, especially in safety-critical domains such as healthcare, autonomous vehicles,…
IoUCert: Robustness Verification for Anchor-based Object Detectors
Benedikt Brückner, Alejandro J. Mercado, Yanghao Zhang +2
While formal robustness verification has seen significant success in image classification, scaling these guarantees to object detection remains notoriously difficult due to complex…
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
Ben Batten, Yang Zheng, Alessandro De Palma +2
We address the problem of verifying neural networks against geometric transformations of the input image, including rotation, scaling, shearing, and translation. The proposed metho…
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…
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…
Automatic Verification of Parameterised Interleaved Multi-Agent Systems
Panagiotis Kouvaros, Alessio Lomuscio
A key problem in verification of multi-agent systems by model checking concerns the fact that the state-space of the system grows exponentially with the number of agents present. T…