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