Items where authors include "Attala, Ziggy"

Proceedings Paper

Attala, Ziggy, Cavalcanti, Ana orcid.org/0000-0002-0831-1976 and Woodcock, Jim orcid.org/0000-0001-7955-2702 (2023) Modelling and Verifying Robotic Software that Uses Neural Networks. In: Ábrahám, Erika, Dubslaff, Clemens and Tarifa, Silvia Lizeth, (eds.) Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Proceedings. 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, 04-08 Dec 2023. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer Science and Business Media Deutschland GmbH , PER , pp. 15-35.