Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks

Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T.

doi:10.1109/TNNLS.2018.2808470

by Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

Reference:

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson, "Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks", In IEEE Transactions on Neural Networks and Learning Systems (TNNLS), 2018, mar.

Bibtex Entry:

@article{xiang2018tnnls,
        author = {Weiming Xiang and Hoang-Dung Tran and Taylor T. Johnson},
        title = {Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks},
        journal = {IEEE Transactions on Neural Networks and Learning Systems (TNNLS)},
        year = {2018},
    month = mar,
        pdf = {http://taylortjohnson.com/research/xiang2018tnnls.pdf},
        doi = {10.1109/TNNLS.2018.2808470},
}