The following publications are possibly variants of this publication:
- Verification of Recurrent Neural Networks with Star ReachabilityHoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov. hybrid 2023: [doi]
- Conformance verification for neural network models of glucose-insulin dynamicsTaisa Kushner, Sriram Sankaranarayanan 0001, Marc Breton. hybrid 2020: [doi]
- Generalized predictive control of DEAP actuator based on RBFNeural Network, Zhaoguo Jiang, Qinglin Wang, Yuan Li. ascc 2017: 1632-1637 [doi]