Ziggy Attala

According to our database, Ziggy Attala authored at least 2 papers between 2021 and 2023.

Collaborative distances:

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

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