Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints

3 September 2022

Papers citing "Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints"

5 / 5 papers shown

Title
Negative Selection Algorithm Research and Applications in the last decade: A Review Kishor Datta Gupta D. Dasgupta 52 14 0 13 May 2021
Parallelization Techniques for Verifying Neural Networks Haoze Wu Alex Ozdemir Aleksandar Zeljić A. Irfan Kyle D. Julian D. Gopinath Sadjad Fouladi Guy Katz C. Păsăreanu Clark W. Barrett 67 59 0 17 Apr 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 243 0 12 Apr 2020
Driver Identification Based on Vehicle Telematics Data using LSTM-Recurrent Neural Network Abenezer Girma Xuyang Yan A. Homaifar 57 35 0 19 Nov 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 327 1,875 0 03 Feb 2017