Marie Farrell

1. Formal Specification and Verification of Autonomous Robotic Systems
   2019/09/13 by Matt Luckcuck, Marie Farrell, Louise A. Dennis +2 · 5 citations
2. Run-time Quantitative Operational Monitoring for BDI Agents
   2026/07/28 by Marie Farrell, Angelo Ferrando, Mengwei Xu
3. A Taxonomy of Human-Robot Teamwork Requirements
   2026/07/29 by Anastasia Mavridou, Hazel M. Taylor, Sandy Lozito +3
   Computer Science · #cs.SE