5 citations · 9 across the 6 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2025★ 2 cited
Revisiting Formal Methods for Autonomous Robots: A Structured Survey
Atef Azaiez, David A. Anisi, Marie Farrell +1
This paper presents the initial results from our structured literature review on applications of Formal Methods (FM) to Robotic Autonomous Systems (RAS). We describe our structured…
cs.RO2022★ 2 cited
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…