| 2025 | ECAI | Reliable Intention Selection in BDI Agents with Recovery Shields. | Angelo Ferrando, Rafael C. Cardoso |
| 2025 | EUMAS | Evaluating BDI Agents in ROS: From Basic Integration to Fault-Tolerant Multi-robot Systems. | Qinhan Du, Rafael C. Cardoso |
| 2025 | SGAI | TrafficSim: A Simulation Framework for the Scottish Rail Network in ROS2. | Rebekah Leslie, Calvin Earnshaw, Favour Jam, Kacper Komnata, Andreas Maita, Rafael C. Cardoso |
| 2023 | ECAI | Failure Handling in BDI Plans via Runtime Enforcement. | Angelo Ferrando, Rafael C. Cardoso |
| 2023 | EMAS | Towards Forward Responsibility in BDI Agents. | Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher |
| 2023 | EUMAS | Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. | Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher |
| 2023 | EUMAS | Adaptive Cognitive Agents: Updating Action Descriptions and Plans. | Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis |
| 2022 | ICAART | RVPLAN: Runtime Verification of Assumptions in Automated Planning. | Angelo Ferrando, Rafael C. Cardoso |
| 2021 | EMAS | Implementing Ethical Governors in BDI. | Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2021 | EMAS | Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. | Matt Luckcuck, Rafael C. Cardoso |
| 2021 | EMAS | Implementing Durative Actions with Failure Detection in Gwendolen. | Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis |
| 2021 | FlAIRS | Agile Tasking of Robotic Systems with Explicit Autonomy. | Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2021 | ISSTA | Increasing confidence in autonomous systems. | Michael Fisher, Angelo Ferrando, Rafael C. Cardoso |
| 2021 | ISSTA | RVPLAN: a general purpose framework for replanning using runtime verification. | Angelo Ferrando, Rafael C. Cardoso |
| 2021 | PAAMS | Automated Planning and BDI Agents: A Case Study. | Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini |
| 2020 | EUMAS | An Interface for Programming Verifiable Autonomous Agents in ROS. | Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher |
| 2019 | EMAS | Plan Library Reconfigurability in BDI Agents. | Rafael C. Cardoso, Louise A. Dennis, Michael Fisher |