Ziggy Attala, Ana Cavalcanti 0001, Jim Woodcock 0001. Modelling and Verifying Robotic Software that Uses Neural Networks. In Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa, editors, Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings. Volume 14446 of Lecture Notes in Computer Science, pages 15-35, Springer, 2023. [doi]
Abstract is missing.