280 citations · 450 across the 27 of their papers we have counts for
3 papers · 1 filter
Predictive Varanus: Combining CSP Conformance Monitoring with Predictive LTL Runtime Verification
Angelo Ferrando, Matt Luckcuck, Pedro Ribeiro
Runtime Verification is well suited to autonomous and robotic systems because it checks the behaviour that is actually observed during execution. Its main limitation, however, is t…
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…
An Abstract Architecture for Explainable Autonomy in Hazardous Environments
Matt Luckcuck, Hazel M Taylor, Marie Farrell
Autonomous robotic systems are being proposed for use in hazardous environments, often to reduce the risks to human workers. In the immediate future, it is likely that human worker…