Reference:
Weiming Xiang, Hoang-Dung Tran and Taylor T. Johnson, "Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach", IEEE Transactions on Neural Networks and Learning Systems (TNNLS), IEEE, vol. 32, pp. 1821–1830, 2021.
Bibtex Entry:
@article{xiang2020tnnls,
title = {Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach},
author = {Weiming Xiang and Hoang-Dung Tran and Taylor T. Johnson},
year = {2021},
month = may,
journal = {IEEE Transactions on Neural Networks and Learning Systems (TNNLS)},
volume = {32},
pages = {1821--1830},
publisher = {IEEE},
doi = {10.1109/TNNLS.2020.2991090},
publabel = {J21},
pubtype = {J},
arxiv = {2004.12273},
dblp = {journals/tnn/XiangTYJ21},
s2id = {216553342},
pmid = {32452771},
pdf = "research/xiang2020tnnls.pdf",
}