Seguir
Rafael C. Cardoso
Rafael C. Cardoso
Lecturer at the University of Aberdeen
Dirección de correo verificada de manchester.ac.uk - Página principal
Título
Citado por
Citado por
Año
A review of agent-based programming for multi-agent systems
RC Cardoso, A Ferrando
Computers 10 (2), 16, 2021
872021
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
472020
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
442021
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
392020
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
282020
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
272018
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
262013
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
222013
Decentralised planning for multi-agent programming platforms
RC Cardoso, RH Bordini
AAMAS'19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS …, 2019
202019
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
172021
Towards compositional verification for modular robotic systems
RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck
arXiv preprint arXiv:2012.01648, 2020
172020
Plan library reconfigurability in BDI agents
RC Cardoso, LA Dennis, M Fisher
International Workshop on Engineering Multi-Agent Systems, 195-212, 2019
162019
Adaptable and verifiable BDI reasoning
P Stringer, RC Cardoso, X Huang, LA Dennis
arXiv preprint arXiv:2007.11743, 2020
142020
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
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
122021
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20