1. Ahn, J.-H., Rhee, K., You, Y.: A study on the collision avoidance of a ship using neural networks and fuzzy logic. Appl. Ocean Res. 37, 162–173 (2012)
2. An, P.E., Harris, C.J., Tribe, R., Clarke, N.: Aspects of neural networks in intelligent collision avoidance systems for prometheus. In: Joint Framework for Information Technology, pp. 129–135 (1993)
3. Attala, Z.: Verification of RoboChart models with ANN components. Technical report, University of York (2023). https://robostar.cs.york.ac.uk/publications/reports/Ziggy_Attala_Draft_Thesis.pdf
4. Attala, Z., Cavalcanti, A.L.C., Woodcock, J.C.P.: A comparison of neural network tools for the verification of linear specifications of ReLU networks. In: Albarghouthi, A., Katz, G., Narodytska, N. (eds.) 3rd Workshop on Formal Methods for ML-Enabled Autonomous System, pp. 22–33 (2020)
5. Lecture Notes in Computer Science;AD Brucker,2023