Items where authors include "Attala, Ziggy"

Proceedings Paper

Attala, Ziggy orcid.org/0000-0002-4641-5354, Cavalcanti, Ana Lucia Caneca orcid.org/0000-0002-0831-1976, Foster, Simon David orcid.org/0000-0002-9889-9514 et al. (2 more authors) (2025) Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software. In: NASA Formal Methods:17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11–13, 2025, Proceedings. The 17th NASA Formal Methods Symposium (NFM 2025), 11-13 Jun 2025. Lecture Notes in Computer Science . Springer Cham , USA .

Attala, Ziggy orcid.org/0000-0002-4641-5354, 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.