27 citations · 62 across the 14 of their papers we have counts for
14 papers
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…
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy
Angelo Ferrando, Rafael Cardoso
The volume comprises the proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023), held alongside the 26th European Conference on Artific…
Extending Attack-Fault Trees with Runtime Verification
Rafael C. Cardoso, Angelo Ferrando, Michael Fisher
Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can b…
A Compositional Approach to Verifying Modular Robotic Systems
Matt Luckcuck, Marie Farrell, Angelo Ferrando +3
Robotic systems used in safety-critical scenarios often rely on modular software architectures, and increasingly include autonomous components. Verifying that these modular robotic…
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini +2
This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conferen…
Towards Partial Monitoring: It is Always too Soon to Give Up
Angelo Ferrando, Rafael C. Cardoso
Runtime Verification is a lightweight formal verification technique. It is used to verify at runtime whether the system under analysis behaves as expected. The expected behaviour i…
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini +3
In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used…
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest
Matt Luckcuck, Rafael C. Cardoso
Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent syste…
Towards Compositional Verification for Modular Robotic Systems
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell +2
Software engineering of modular robotic systems is a challenging task, however, verifying that the developed components all behave as they should individually and as a whole presen…
Adaptable and Verifiable BDI Reasoning
Peter Stringer, Rafael C. Cardoso, Xiaowei Huang +1
Long-term autonomy requires autonomous systems to adapt as their capabilities no longer perform as expected. To achieve this, a system must first be capable of detecting such chang…
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola +2
This volume contains the proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020), co-located with the 24th European Conference on Artifi…
Heterogeneous Verification of an Autonomous Curiosity Rover
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck +2
The Curiosity rover is one of the most complex systems successfully deployed in a planetary exploration mission to date. It was sent by NASA to explore the surface of Mars and to i…
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
The 2019 Multi-Agent Programming Contest introduced a new scenario, Agents Assemble, where two teams of agents move around a 2D grid and compete to assemble complex block structure…
Modular Verification of Autonomous Space Robotics
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis +6
Ensuring that autonomous space robot control software behaves as it should is crucial, particularly as software failure in space often equates to mission failure and could potentia…