Rafael C. Cardoso

According to our database, Rafael C. Cardoso authored at least 49 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Towards partial monitoring: Never too early to give in.

Angelo Ferrando, Rafael C. Cardoso

Sci. Comput. Program., 2025

2024

Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition.

Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher

J. Intell. Robotic Syst., September, 2024

Security-Minded Verification of Cooperative Awareness Messages.

Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple

IEEE Trans. Dependable Secur. Comput., 2024

BDI Agents in Natural Language Environments.

Alexandre Yukio Ichida, Felipe Meneguzzi, Rafael C. Cardoso

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Adaptive Cognitive Agents: Updating Action Descriptions and Plans.

Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

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

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Towards Forward Responsibility in BDI Agents.

Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher

Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023

Failure Handling in BDI Plans via Runtime Enforcement.

Angelo Ferrando, Rafael C. Cardoso

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Updating Action Descriptions and Plans for Cognitive Agents.

Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

ML-MAS: A Hybrid AI Framework for Self-Driving Vehicles.

Hilal Al Shukairi, Rafael C. Cardoso

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

Extending Attack-Fault Trees with Runtime Verification.

Rafael C. Cardoso, Angelo Ferrando, Michael Fisher

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

A Compositional Approach to Verifying Modular Robotic Systems.

Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher

CoRR, 2022

Resilience, reliability, and coordination in autonomous multi-agent systems.

Rafael C. Cardoso, Brian Logan, Felipe Meneguzzi, Nir Oren, Bruno Yun

AI Commun., 2022

RVPLAN: Runtime Verification of Assumptions in Automated Planning.

Angelo Ferrando, Rafael C. Cardoso

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

Safety Shields, an Automated Failure Handling Mechanism for BDI Agents.

Angelo Ferrando, Rafael C. Cardoso

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.

Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi

ACM Trans. Softw. Eng. Methodol., 2021

An Overview of Verification and Validation Challenges for Inspection Robots.

Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster

Robotics, 2021

Special Issue: Agents and Robots for Reliable Engineered Autonomy.

Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht

J. Sens. Actuator Networks, 2021

Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020.

Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht

J. Sens. Actuator Networks, 2021

Bridging the gap between single- and multi-model predictive runtime verification.

Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi

Formal Methods Syst. Des., 2021

Towards Partial Monitoring: It is Always too Soon to Give Up.

Angelo Ferrando, Rafael C. Cardoso

Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.

Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne

CoRR, 2021

A Review of Agent-Based Programming for Multi-Agent Systems.

Rafael C. Cardoso, Angelo Ferrando

Comput., 2021

Automated Planning and BDI Agents: A Case Study.

Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini

Proceedings of the Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021

RVPLAN: a general purpose framework for replanning using runtime verification.

Angelo Ferrando, Rafael C. Cardoso

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

Increasing confidence in autonomous systems.

Michael Fisher, Angelo Ferrando, Rafael C. Cardoso

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

Agile Tasking of Robotic Systems with Explicit Autonomy.

Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher

Proceedings of the Thirty-Fourth International Florida Artificial Intelligence Research Society Conference, 2021

Implementing Durative Actions with Failure Detection in Gwendolen.

Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest.

Matt Luckcuck, Rafael C. Cardoso

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

Implementing Ethical Governors in BDI.

Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher

Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021

2020

Towards Compositional Verification for Modular Robotic Systems.

Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck

Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Adaptable and Verifiable BDI Reasoning.

Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.

Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini

CoRR, 2020

ROSMonitoring: A Runtime Verification Framework for ROS.

Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi

Proceedings of the Towards Autonomous Robotic Systems - 21st Annual Conference, 2020

Heterogeneous Verification of an Autonomous Curiosity Rover.

Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

An Interface for Programming Verifiable Autonomous Agents in ROS.

Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020

Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time?

Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher

Proceedings of the 7th Italian Workshop on Artificial Intelligence and Robotics co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), 2020

2019

LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.

Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini

The Multi-Agent Programming Contest, 2019

Modular Verification of Autonomous Space Robotics.

Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster

CoRR, 2019

Plan Library Reconfigurability in BDI Agents.

Rafael C. Cardoso, Louise A. Dennis, Michael Fisher

Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Decentralised Planning for Multi-Agent Programming Platforms.

Rafael C. Cardoso, Rafael H. Bordini

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

SMART-JaCaMo: An Organisation-Based Team for the Multi-Agent Programming Contest.

Tabajara Krausburg, Rafael Cauê Cardoso, Juliana Damasio, Vitor Peres, Giovani Parente Farias, Débora Cristina Engelmann, Jomi Fred Hübner, Rafael H. Bordini

Proceedings of the Multi-Agent Programming Contest 2018, 2018

Team PUCRS: a decentralised multi-agent solution for the agents in the city scenario.

Rafael C. Cardoso, Ramon Fraga Pereira, Guilherme Krzisch, Mauricio Cecilio Magnaguagno, Túlio L. Baségio, Felipe Meneguzzi

Int. J. Agent Oriented Softw. Eng., 2018

SMART-JaCaMo: an organization-based team for the multi-agent programming contest.

Rafael C. Cardoso, Tabajara Krausburg, Túlio L. Baségio, Débora C. Engelmann, Jomi Fred Hübner, Rafael H. Bordini

Ann. Math. Artif. Intell., 2018

Validation of Hierarchical Plans via Parsing of Attribute Grammars.

Roman Barták, Adrien Maillard, Rafael Cauê Cardoso

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

A Modular Framework for Decentralised Multi-Agent Planning.

Rafael C. Cardoso, Rafael H. Bordini

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Allocating Social Goals Using the Contract Net Protocol in Online Multi-agent Planning.

Rafael C. Cardoso, Rafael H. Bordini

Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016

2013

Benchmarking Communication in Actor- and Agent-Based Languages.

Rafael C. Cardoso, Jomi Fred Hübner, Rafael H. Bordini

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

Towards benchmarking actor- and agent-based programming languages.

Rafael C. Cardoso, Maicon Rafael Zatelli, Jomi Fred Hübner, Rafael H. Bordini

Proceedings of the 2013 Workshop on Programming based on Actors, 2013