BibTex format
@inproceedings{Kouvaros:2021:10.1007/978-3-030-90870-6_41,
author = {Kouvaros, P and Kyono, T and Leofante, F and Lomuscio, A and Margineantu, D and Osipychev, D and Zheng, Y},
doi = {10.1007/978-3-030-90870-6_41},
pages = {730--740},
publisher = {Springer International Publishing},
title = {Formal analysis of neural network-based systems in the aircraft domain},
url = {http://dx.doi.org/10.1007/978-3-030-90870-6_41},
year = {2021}
}