1 citations · 1 across the 6 of their papers we have counts for
7 papers
A Taxonomy of Human-Robot Teamwork Requirements
Anastasia Mavridou, Hazel M. Taylor, Sandy Lozito +3
Autonomous systems are increasingly deployed in safety- and mission-critical domains where humans and robots must operate as a team to complete complex tasks. Existing requirements…
Towards Responsibly Non-Compliant Machines
Marija Slavkovik, Marie Farrell, Louise Dennis +3
We consider the problem of engineering autonomous intelligent agents that are capable to responsibly not comply with user requests. We argue that machine non-compliance comes in ma…
Counterexample-Guided Interval Weakening
Ben M. Andrew, Louise A. Dennis, Michael Fisher +1
Systems deployed for long periods of time in dynamic environments may experience performance degradation that affects timing guarantees, even when their functional behaviour remain…
Automated Formalization of Probabilistic Requirements from Structured Natural Language
Anastasia Mavridou, Marie Farrell, Gricel Vázquez +4
Integrating autonomous and adaptive behavior into software-intensive systems presents significant challenges for software development, as uncertainties in the environment or decisi…
Towards A Catalogue of Requirement Patterns for Space Robotic Missions
Mahdi Etumi, Hazel M. Taylor, Marie Farrell
In the development of safety and mission-critical systems, including autonomous space robotic missions, complex behaviour is captured during the requirements elicitation phase. Req…
Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
Diana C. Benjumea, Marie Farrell, Louise A. Dennis
Deploying autonomous robots in safety-critical domains requires architectures that ensure operational effectiveness and safety compliance. In this paper, we contribute the Safe-ROS…
Supporting Software Formal Verification with Large Language Models: An Experimental Study
Weiqi Wang, Marie Farrell, Lucas C. Cordeiro +1
Formal methods have been employed for requirements verification for a long time. However, it is difficult to automatically derive properties from natural language requirements. Spe…