Verification for Machine Learning, Autonomy, and Neural Networks Survey

Verification for Machine Learning, Autonomy, and Neural Networks Survey

3 October 2018

Diego Manzanas Lopez

Nathaniel P. Hamilton

Joel A. Rosenfeld

Taylor T. Johnson

Papers citing "Verification for Machine Learning, Autonomy, and Neural Networks Survey"

14 / 14 papers shown

Title
Generative Artificial Intelligence Reproducibility and Consensus Edward J. Kim I. Isozaki N. Sirkin Michael Robson 25 0 0 04 Jul 2023
SoK: Explainable Machine Learning for Computer Security Applications A. Nadeem D. Vos Clinton Cao Luca Pajola Simon Dieck Robert Baumgartner S. Verwer 29 40 0 22 Aug 2022
Verification of Sigmoidal Artificial Neural Networks using iSAT Dominik Grundt Sorin Liviu Jurj Willem Hagemann P. Kröger M. Fränzle 22 2 0 14 Jul 2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin J. Dong AAML 21 43 0 24 Jun 2022
Reachability analysis of neural networks using mixed monotonicity Pierre-Jean Meyer 36 8 0 15 Nov 2021
Neural Network Verification in Control M. Everett AAML 32 16 0 30 Sep 2021
A Novel Framework for Threat Analysis of Machine Learning-based Smart Healthcare Systems Nur Imtiazul Haque M. Rahman Md Hasan Shahriar Alvi Ataur Khalil Selcuk Uluagac 16 14 0 05 Mar 2021
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 17 62 0 18 Jul 2020
Certifying Decision Trees Against Evasion Attacks by Program Analysis Stefano Calzavara Pietro Ferrara Claudio Lucchese AAML 11 10 0 06 Jul 2020
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 14 390 0 15 Mar 2019
A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems Denise Ratasich Faiq Khalid Florian Geissler Radu Grosu Muhammad Shafique E. Bartocci 11 102 0 16 Oct 2018
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 74 292 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 932 0 21 Oct 2016