Reference:
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson, "Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach", In IEEE Transactions on Neural Networks and Learning Systems, vol. 32, no. 5, pp. 1821-1830, 2021, may.
Bibtex Entry:
@ARTICLE{xiang2021tnnls,
author={Weiming Xiang and Hoang-Dung Tran and Xiaodong Yang and Taylor T. Johnson},
journal={IEEE Transactions on Neural Networks and Learning Systems},
title={Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach},
year={2021},
month=may,
volume={32},
number={5},
pages={1821-1830},
pdf = "research/xiang2021tnnls.pdf",
doi = {10.1109/TNNLS.2020.2991090},
}