Follow
Rafael C. Cardoso
Rafael C. Cardoso
Lecturer at the University of Aberdeen
Verified email at manchester.ac.uk - Homepage
Title
Cited by
Cited by
Year
A review of agent-based programming for multi-agent systems
RC Cardoso, A Ferrando
Computers 10 (2), 16, 2021
762021
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
502017
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
432020
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
402020
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
362021
A multi-agent extension of a hierarchical task network planning formalism
RC Cardoso, RH Bordini
Ediciones Universidad de Salamanca (España), 2017
312017
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
292020
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
252013
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
242018
Decentralised planning for multi-agent programming platforms
RC Cardoso, RH Bordini
AAMAS'19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS …, 2019
192019
Towards compositional verification for modular robotic systems
RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck
arXiv preprint arXiv:2012.01648, 2020
182020
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
172013
Plan library reconfigurability in BDI agents
RC Cardoso, LA Dennis, M Fisher
International Workshop on Engineering Multi-Agent Systems, 195-212, 2019
152019
A distributed online multi-agent planning system
RC Cardoso, RH Bordini
Proceedings of 4th Workshop on Distributed and Multi-Agent Planning (DMAP …, 2016
142016
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
132019
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
122021
Adaptable and verifiable BDI reasoning
P Stringer, RC Cardoso, X Huang, LA Dennis
arXiv preprint arXiv:2007.11743, 2020
122020
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
112021
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
92018
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
92018
The system can't perform the operation now. Try again later.
Articles 1–20