3 papers
cs.RO2026
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…
cs.LO2026
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…
cs.LO2025
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…