2 citations · 2 across the 3 of their papers we have counts for
3 papers
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems
Marie Farrell, Matt Luckcuck, Mario Gleirscher +1
This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of Novembe…
Developing Multi-Agent Systems with Degrees of Neuro-Symbolic Integration [A Position Paper]
Louise Dennis, Marie Farrell, Michael Fisher
In this short position paper we highlight our ongoing work on verifiable heterogeneous multi-agent systems and, in particular, the complex (and often non-functional) issues that im…
Modelling the Turtle Python library in CSP
Dara MacConville, Marie Farrell, Matt Luckcuck +1
Software verification is an important tool in establishing the reliability of critical systems. One potential area of application is in the field of robotics, as robots take on mor…