Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 2 Conference contribution
-
Model-Based Engineering for Robotics with RoboChart and RoboTool
Cavalcanti, A., Attala, Z., Baxter, J., Miyazawa, A. & Ribeiro, P., 5 Nov 2023, Formal Methods for an Informal World - ICTAC 2021 Summer School, Virtual Event, Tutorial Lectures. Cerone, A. (ed.). Springer Science and Business Media Deutschland GmbH, p. 106-151 46 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13490 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Modelling and Verifying Robotic Software that Uses Neural Networks
Attala, Z., Cavalcanti, A. & Woodcock, J., 23 Nov 2023, Theoretical Aspects of Computing – ICTAC 2023 - 20th International Colloquium, Proceedings. Ábrahám, E., Dubslaff, C. & Tarifa, S. L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 15-35 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14446 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile