Rafael C. Cardoso
Rafael C. Cardoso
Lecturer at the University of Aberdeen
Verified email at - Homepage
Cited by
Cited by
A review of agent-based programming for multi-agent systems
RC Cardoso, A Ferrando
Computers 10 (2), 16, 2021
A Multi-Agent Extension of a Hierarchical Task Network Planning Formalism. ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal (ISSN: 2255-2863)
RC Cardoso, RH Bordini
Salamanca 6 (2), 2017
ROSMonitoring: a runtime verification framework for ROS
A Ferrando, RC Cardoso, M Fisher, D Ancona, L Franceschini, ...
Towards Autonomous Robotic Systems: 21st Annual Conference, TAROS 2020 …, 2020
An overview of verification and validation challenges for inspection robots
M Fisher, RC Cardoso, EC Collins, C Dadswell, LA Dennis, C Dixon, ...
Robotics 10 (2), 67, 2021
Heterogeneous verification of an autonomous curiosity rover
RC Cardoso, M Farrell, M Luckcuck, A Ferrando, M Fisher
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field …, 2020
A multi-agent extension of a hierarchical task network planning formalism
RC Cardoso, RH Bordini
Ediciones Universidad de Salamanca (España), 2017
An interface for programming verifiable autonomous agents in ROS
RC Cardoso, A Ferrando, LA Dennis, M Fisher
European Conference on Multi-Agent Systems, 191-205, 2020
Validation of hierarchical plans via parsing of attribute grammars
R Barták, A Maillard, R Cardoso
Proceedings of the International Conference on Automated Planning and …, 2018
Towards benchmarking actor-and agent-based programming languages
RC Cardoso, MR Zatelli, JF Hübner, RH Bordini
Proceedings of the 2013 workshop on Programming based on actors, agents, and …, 2013
Benchmarking communication in actor-and agent-based languages
RC Cardoso, JF Hübner, RH Bordini
Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St …, 2013
Decentralised planning for multi-agent programming platforms
RC Cardoso, RH Bordini
Proceedings of the 18th International Conference on Autonomous Agents and …, 2019
A review of verification and validation for space autonomous systems
RC Cardoso, G Kourtis, LA Dennis, C Dixon, M Farrell, M Fisher, ...
Current Robotics Reports 2 (3), 273-283, 2021
Towards compositional verification for modular robotic systems
RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck
arXiv preprint arXiv:2012.01648, 2020
Plan library reconfigurability in BDI agents
RC Cardoso, LA Dennis, M Fisher
International Workshop on Engineering Multi-Agent Systems, 195-212, 2019
Adaptable and verifiable BDI reasoning
P Stringer, RC Cardoso, X Huang, LA Dennis
arXiv preprint arXiv:2007.11743, 2020
A distributed online multi-agent planning system
RC Cardoso, RH Bordini
Proceedings of 4th Workshop on Distributed and Multi-Agent Planning (DMAP …, 2016
LFC: combining autonomous agents and automated planning in the multi-agent programming contest
RC Cardoso, A Ferrando, F Papacchini
Multi-Agent Progamming Contest, 31-58, 2019
Toward a holistic approach to verification and validation of autonomous cognitive systems
A Ferrando, LA Dennis, RC Cardoso, M Fisher, D Ancona, V Mascardi
ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (4), 1-43, 2021
SMART-JaCaMo: an organization-based team for the multi-agent programming contest
RC Cardoso, T Krausburg, T Baségio, DC Engelmann, JF Hübner, ...
Annals of Mathematics and Artificial Intelligence 84, 75-93, 2018
Team PUCRS: a decentralised multi-agent solution for the agents in the city scenario
RC Cardoso, RF Pereira, G Krzisch, MC Magnaguagno, T Baségio, ...
International Journal of Agent-Oriented Software Engineering 6 (1), 3-34, 2018
The system can't perform the operation now. Try again later.
Articles 1–20