Hamilton, J.,
Stefanakos, I.,
Calinescu, R. & Camara, J.,
28 Sept 2022,
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE). p. 175-183 9 p. (Electronic proceedings in theoretical computer science).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution