The following publications are possibly variants of this publication:
- An FPGA-Based Upper-Limb Rehabilitation Device for Gesture Recognition and Motion Evaluation Using Multi-Task Recurrent Neural NetworksHaoyan Liu, Atiyehsadat Panahi, David Andrews, Alexander Nelson. icfpt 2020: 296-297 [doi]
- Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systemsQingye Zhao, Xin Chen, Yifan Zhang 0005, Meng Sha, Zhengfeng Yang, Wang Lin, Enyi Tang, Qiguang Chen, Xuandong Li. hybrid 2021: [doi]
- Synthesizing barrier certificates using neural networksHengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu 0001. hybrid 2020: [doi]
- 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]