From the 1 of 7 linked papers with an AI index.
7 papers
A Taxonomy of Human-Robot Teamwork Requirements
Anastasia Mavridou, Hazel M. Taylor, Sandy Lozito +3
The paper introduces a hierarchical taxonomy of requirements for human‑robot teamwork, derived from a large corpus of literature, standards, and regulatory sources, and validates i…
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…