Ziggy Attala

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Software Packages

Associative Memory

Evolutionary Robotics

Engineering Students

Top Venues

ICTAC Summmer School

Publications

Ziggy Attala, Ana Cavalcanti, Jim Woodcock
Modelling and Verifying Robotic Software that Uses Neural Networks. ICTAC (2023)
Ana Cavalcanti, Ziggy Attala, James Baxter, Alvaro Miyazawa, Pedro Ribeiro
Model-Based Engineering for Robotics with RoboChart and RoboTool. ICTAC Summmer School (2021)