M
Marie Farrell
Researcher at University of Liverpool
Publications - 36
Citations - 487
Marie Farrell is an academic researcher from University of Liverpool. The author has contributed to research in topics: Formal methods & Computer science. The author has an hindex of 7, co-authored 27 publications receiving 254 citations. Previous affiliations of Marie Farrell include Maynooth University & University of Manchester.
Papers
More filters
Journal ArticleDOI
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
TL;DR: The state of the art in formal specification and verification for autonomous robotics is surveyed and the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verify of autonomous robotics are identified.
Journal ArticleDOI
Formal Specification and Verification of Autonomous Robotic Systems: A Survey
TL;DR: This paper systematically surveys the state-of-the-art in formal specification and verification for autonomous robotics and identifies and categorises the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verify of autonomous robotics.
Book ChapterDOI
Robotics and Integrated Formal Methods: Necessity Meets Opportunity
TL;DR: The fast evolving field of robotics is proposed as an ideal catalyst for the advancement of integrated formal methods research, helping to drive the field in new and exciting directions and shedding light on the development of large-scale, dynamic, complex systems.
Book ChapterDOI
Robotics and Integrated Formal Methods: Necessity meets Opportunity
TL;DR: In this article, the authors argue that diverse formal techniques must be integrated in order to develop, verify, and provide certification evidence for robotic systems, and propose the fast evolving field of robotics as an ideal catalyst for the advancement of integrated formal methods research, helping to drive the field in new and exciting directions.
Journal ArticleDOI
An Overview of Verification and Validation Challenges for Inspection Robots
Michael Fisher,Rafael C. Cardoso,Emily C. Collins,Christopher Dadswell,Louise A. Dennis,Clare Dixon,Marie Farrell,Angelo Ferrando,Xiaowei Huang,Michael Jump,Georgios Kourtis,Alexei Lisitsa,Matt Luckcuck,Shan Luo,Vincent Page,Fabio Papacchini,Matt Webster +16 more
TL;DR: Based on the experience across three research and innovation hubs within the UK’s “Robots for a Safer World” programme, an overview of the relevant techniques and challenges in this area are presented.