Rafael C. Cardoso

According to our database1, Rafael C. Cardoso authored at least 20 papers between 2013 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


A Review of Agent-Based Programming for Multi-Agent Systems.
Comput., 2021

Towards Compositional Verification for Modular Robotic Systems.
Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020

Adaptable and Verifiable BDI Reasoning.
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.
CoRR, 2020

ROSMonitoring: A Runtime Verification Framework for ROS.
Proceedings of the Towards Autonomous Robotic Systems - 21st Annual Conference, 2020

Heterogeneous Verification of an Autonomous Curiosity Rover.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

An Interface for Programming Verifiable Autonomous Agents in ROS.
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?
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

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

Modular Verification of Autonomous Space Robotics.
CoRR, 2019

Plan Library Reconfigurability in BDI Agents.
Proceedings of the Engineering Multi-Agent Systems - 7th International Workshop, 2019

Decentralised Planning for Multi-Agent Programming Platforms.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

SMART-JaCaMo: An Organisation-Based Team for the Multi-Agent Programming Contest.
Proceedings of the Multi-Agent Programming Contest 2018, 2018

Team PUCRS: a decentralised multi-agent solution for the agents in the city scenario.
Int. J. Agent Oriented Softw. Eng., 2018

SMART-JaCaMo: an organization-based team for the multi-agent programming contest.
Ann. Math. Artif. Intell., 2018

Validation of Hierarchical Plans via Parsing of Attribute Grammars.
Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

A Modular Framework for Decentralised Multi-Agent Planning.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Allocating Social Goals Using the Contract Net Protocol in Online Multi-agent Planning.
Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016

Benchmarking communication in actor- and agent-based languages.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Towards benchmarking actor- and agent-based programming languages.
Proceedings of the 2013 Workshop on Programming based on Actors, 2013