Ziggy Attala

According to our database, Ziggy Attala authored at least 3 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software.

Ziggy Attala, Fang Yan, Simon Foster, Ana Cavalcanti, Jim Woodcock

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

2023

Modelling and Verifying Robotic Software that Uses Neural Networks.

Ziggy Attala, Ana Cavalcanti, Jim Woodcock

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2021

Model-Based Engineering for Robotics with RoboChart and RoboTool.

Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro

Proceedings of the Formal Methods for an Informal World, 2021