| A review of agent-based programming for multi-agent systems RC Cardoso, A Ferrando Computers 10 (2), 16, 2021 | 111 | 2021 |
| 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 | 61 | 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 | 52 | 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 | 51 | 2017 |
| 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 | 40 | 2020 |
| A multi-agent extension of a hierarchical task network planning formalism RC Cardoso, RH Bordini Ediciones Universidad de Salamanca (España), 2017 | 32 | 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 | 30 | 2020 |
| 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 | 28 | 2013 |
| 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 | 27 | 2018 |
| 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 | 22 | 2013 |
| 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 | 20 | 2021 |
| Decentralised planning for multi-agent programming platforms RC Cardoso, RH Bordini Proceedings of the 18th International Conference on Autonomous Agents and …, 2019 | 20 | 2019 |
| Towards compositional verification for modular robotic systems RC Cardoso, LA Dennis, M Farrell, M Fisher, M Luckcuck arXiv preprint arXiv:2012.01648, 2020 | 18 | 2020 |
| Plan library reconfigurability in BDI agents RC Cardoso, LA Dennis, M Fisher International Workshop on Engineering Multi-Agent Systems, 195-212, 2019 | 16 | 2019 |
| Adaptable and verifiable BDI reasoning P Stringer, RC Cardoso, X Huang, LA Dennis arXiv preprint arXiv:2007.11743, 2020 | 14 | 2020 |
| A distributed online multi-agent planning system RC Cardoso, RH Bordini Proceedings of 4th Workshop on Distributed and Multi-Agent Planning (DMAP …, 2016 | 14 | 2016 |
| 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 | 13 | 2021 |
| 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 | 13 | 2019 |
| 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 | 10 | 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 | 10 | 2018 |
