Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems

16 October 2020

Papers citing "Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems"

32 / 32 papers shown

Title
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 81 8 0 20 Jul 2023
NPC: Neuron Path Coverage via Characterizing Decision Logic of Deep Neural Networks Xiaofei Xie Tianlin Li Jian-Xun Wang Lei Ma Qing Guo Felix Juefei Xu Yang Liu AAML 52 52 0 24 Mar 2022
Enhancing Adversarial Training with Second-Order Statistics of Weights Gao Jin Xinping Yi Wei Huang S. Schewe Xiaowei Huang AAML 73 47 0 11 Mar 2022
The Complexity of Constrained Min-Max Optimization C. Daskalakis Stratis Skoulakis Manolis Zampetakis 107 137 0 21 Sep 2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 95 242 0 12 Apr 2020
Reliability Validation of Learning Enabled Vehicle Tracking Youcheng Sun Yifan Zhou Simon Maskell James Sharp Xiaowei Huang 36 10 0 06 Feb 2020
Coverage Guided Testing for Recurrent Neural Networks Wei Huang Youcheng Sun Xing-E. Zhao James Sharp Wenjie Ruan Jie Meng Xiaowei Huang AAML 83 47 0 05 Nov 2019
Detecting and Tracking Small Moving Objects in Wide Area Motion Imagery (WAMI) Using Convolutional Neural Networks (CNNs) Yifan Zhou Simon Maskell 13 22 0 05 Nov 2019
testRNN: Coverage-guided Testing on Recurrent Neural Networks Wei Huang Youcheng Sun Xiaowei Huang James Sharp 25 11 0 20 Jun 2019
Detecting Adversarial Examples through Nonlinear Dimensionality Reduction Francesco Crecchi D. Bacciu Battista Biggio AAML 59 10 0 30 Apr 2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification Jianlin Li Pengfei Yang Jiangchao Liu Liqian Chen Xiaowei Huang Lijun Zhang AAML 61 80 0 26 Feb 2019
Gray-box Adversarial Testing for Control Systems with Machine Learning Component Shakiba Yaghoubi Georgios Fainekos AAML 45 65 0 31 Dec 2018
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees Min Wu Matthew Wicker Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 50 111 0 10 Jul 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 74 271 0 06 May 2018
Concolic Testing for Deep Neural Networks Youcheng Sun Min Wu Wenjie Ruan Xiaowei Huang Marta Kwiatkowska Daniel Kroening 60 334 0 30 Apr 2018
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the $L_0$ Norm Wenjie Ruan Min Wu Youcheng Sun Xiaowei Huang Daniel Kroening Marta Kwiatkowska AAML 54 39 0 16 Apr 2018
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems Cumhur Erkan Tuncali J. Kapinski Hisahiro Ito Jyotirmoy V. Deshmukh 57 42 0 11 Apr 2018
DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems Lei Ma Felix Juefei Xu Fuyuan Zhang Jiyuan Sun Minhui Xue ... Ting Su Li Li Yang Liu Jianjun Zhao Yadong Wang ELM 67 622 0 20 Mar 2018
Feature-Guided Black-Box Safety Testing of Deep Neural Networks Matthew Wicker Xiaowei Huang Marta Kwiatkowska AAML 46 235 0 21 Oct 2017
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 108 294 0 09 Aug 2017
An approach to reachability analysis for feed-forward ReLU neural networks A. Lomuscio Lalit Maganti 63 359 0 22 Jun 2017
DeepXplore: Automated Whitebox Testing of Deep Learning Systems Kexin Pei Yinzhi Cao Junfeng Yang Suman Jana AAML 88 1,367 0 18 May 2017
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components T. Dreossi Alexandre Donzé Sanjit A. Seshia AAML 82 231 0 02 Mar 2017
On Detecting Adversarial Perturbations J. H. Metzen Tim Genewein Volker Fischer Bastian Bischoff AAML 61 950 0 14 Feb 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 318 1,868 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 219 943 0 21 Oct 2016
Towards Evaluating the Robustness of Neural Networks Nicholas Carlini D. Wagner OOD AAML 264 8,552 0 16 Aug 2016
End to End Learning for Self-Driving Cars Mariusz Bojarski D. Testa Daniel Dworakowski Bernhard Firner B. Flepp ... Urs Muller Jiakai Zhang Xin Zhang Jake Zhao Karol Zieba SSL 100 4,170 0 25 Apr 2016
DeepFool: a simple and accurate method to fool deep neural networks Seyed-Mohsen Moosavi-Dezfooli Alhussein Fawzi P. Frossard AAML 151 4,897 0 14 Nov 2015
Distillation as a Defense to Adversarial Perturbations against Deep Neural Networks Nicolas Papernot Patrick McDaniel Xi Wu S. Jha A. Swami AAML 102 3,072 0 14 Nov 2015
Explaining and Harnessing Adversarial Examples Ian Goodfellow Jonathon Shlens Christian Szegedy AAML GAN 277 19,066 0 20 Dec 2014
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 270 14,927 1 21 Dec 2013