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
1112021
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
612020
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
522021
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
512017
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
A multi-agent extension of a hierarchical task network planning formalism
RC Cardoso, RH Bordini
Ediciones Universidad de Salamanca (España), 2017
322017
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
302020
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
282013
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
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
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
202021
Decentralised planning for multi-agent programming platforms
RC Cardoso, RH Bordini
Proceedings of the 18th International Conference on Autonomous Agents and …, 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
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
102018
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
102018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20