From the 1 of 4 linked papers with an AI index.
4 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…
Engineering Reliable Autonomous Systems: Challenges and Solutions
Marie Farrell, Matt Luckcuck, Angelo Ferrando +28
Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them…
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…
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…