PERCEPTION
用于单应性矩阵形式验证的Lipschitz优化
Jean-Guillaume Durand, Panagiotis Kouvaros, Maxime Gariel, Alessio Lomuscio
- 发表年份
- 2026
- 访问权限
- 开放获取
摘要
本文提出了一种针对相机运动扰动的形式化验证方法，通过建立相机位姿到像素值的闭式映射并利用Lipschitz优化推导紧致线性边界，首次实现了对投影几何变换的形式验证。该方法适用于平面主导场景，在VNN-COMP基准测试中验证了高达89%的速度提升和7%的更紧边界。
关键词
formal verificationLipschitz optimizationhomographycamera motion robustnessvision neural networks
相关论文
PERCEPTION
📊 22,245 引用
Artificial intelligence: a modern approach
1995
PERCEPTION
📊 14,348 引用
Are we ready for autonomous driving? The KITTI vision benchmark suite
Andreas Geiger, P Lenz, R. Urtasun
2012
PERCEPTION
开放获取📊 9,777 引用
TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems
Martı́n Abadi, Ashish Agarwal, Paul Barham 等 20 位作者
2016
PERCEPTION
📊 9,681 引用
Vision meets robotics: The KITTI dataset
Andreas Geiger, Philip Lenz, Christoph Stiller 等 4 位作者
2013