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…
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…