Rafael C. Cardoso

58 papers A 9B 2C 2Misc 2Journal 19Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	—	`ed.`	Agents and Robots for reliable Engineered Autonomy - 4th Workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, Proceedings AREA Angelo Ferrando, Rafael C. Cardoso
2025	J	`jnl`	Preface special issue on agents and robots for reliable engineered autonomy (AREA 2023). Ann. Math. Artif. Intell. Angelo Ferrando, Rafael C. Cardoso
2025	A	`conf`	Reliable Intention Selection in BDI Agents with Recovery Shields. ECAI Angelo Ferrando, Rafael C. Cardoso
2025	J	`jnl`	Towards partial monitoring: Never too early to give in. Sci. Comput. Program. Angelo Ferrando, Rafael C. Cardoso
2025	—	`conf`	TrafficSim: A Simulation Framework for the Scottish Rail Network in ROS2. AI (2) Rebekah Leslie, Calvin Earnshaw, Favour Jam, Kacper Komnata, Andreas Maita, Rafael C. Cardoso
2024	A	`conf`	BDI Agents in Natural Language Environments. AAMAS Alexandre Yukio Ichida, Felipe Meneguzzi, Rafael C. Cardoso
2024	J	`jnl`	Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition. J. Intell. Robotic Syst. Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
2024	B	`ed.`	Engineering Multi-Agent Systems - 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers EMAS Daniela Briola, Rafael C. Cardoso, Brian Logan
2024	J	`jnl`	Security-Minded Verification of Cooperative Awareness Messages. IEEE Trans. Dependable Secur. Comput. Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple
2023	C	`conf`	Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
2023	A	`conf`	Failure Handling in BDI Plans via Runtime Enforcement. ECAI Angelo Ferrando, Rafael C. Cardoso
2023	A	`conf`	ML-MAS: A Hybrid AI Framework for Self-Driving Vehicles. AAMAS Hilal Al Shukairi, Rafael C. Cardoso
2023	B	`conf`	Towards Forward Responsibility in BDI Agents. EMAS Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher
2023	A	`conf`	Updating Action Descriptions and Plans for Cognitive Agents. AAMAS Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis
2023	C	`conf`	Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. EUMAS Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher
2022	J	`jnl`	A Compositional Approach to Verifying Modular Robotic Systems. CoRR Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
2022	—	`conf`	Extending Attack-Fault Trees with Runtime Verification. FMAS/ASYDE@SEFM Rafael C. Cardoso, Angelo Ferrando, Michael Fisher
2022	—	`ed.`	Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. AREA@IJCAI-ECAI Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis
2022	—	`conf`	RVPLAN: Runtime Verification of Assumptions in Automated Planning. ICAART (2) Angelo Ferrando, Rafael C. Cardoso
2022	J	`jnl`	Resilience, reliability, and coordination in autonomous multi-agent systems. AI Commun. Rafael C. Cardoso, Brian Logan, Felipe Meneguzzi, Nir Oren, Bruno Yun
2022	A	`conf`	Safety Shields, an Automated Failure Handling Mechanism for BDI Agents. AAMAS Angelo Ferrando, Rafael C. Cardoso
2021	J	`jnl`	A Review of Agent-Based Programming for Multi-Agent Systems. Comput. Rafael C. Cardoso, Angelo Ferrando
2021	J	`jnl`	Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. J. Sens. Actuator Networks Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
2021	Misc	`conf`	Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2021	J	`jnl`	An Overview of Verification and Validation Challenges for Inspection Robots. Robotics Michael Fisher, Rafael C. Cardoso, Emily C. Collins, Christopher Dadswell, Louise A. Dennis, Clare Dixon, Marie Farrell, Angelo Ferrando, Xiaowei Huang, Mike Jump, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Shan Luo, Vincent Pagé, Fabio Papacchini, Matt Webster
2021	Misc	`conf`	Automated Planning and BDI Agents: A Case Study. PAAMS Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
2021	J	`jnl`	Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi
2021	J	`jnl`	Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest. CoRR Matt Luckcuck, Rafael C. Cardoso
2021	—	`conf`	Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. EMAS@AAMAS Matt Luckcuck, Rafael C. Cardoso
2021	—	`conf`	Implementing Durative Actions with Failure Detection in Gwendolen. EMAS@AAMAS Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis
2021	—	`conf`	Implementing Ethical Governors in BDI. EMAS@AAMAS Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2021	—	`conf`	Increasing confidence in autonomous systems. VORTEX@ISSTA Michael Fisher, Angelo Ferrando, Rafael C. Cardoso
2021	J	`jnl`	MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. CoRR Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne
2021	—	`conf`	RVPLAN: a general purpose framework for replanning using runtime verification. VORTEX@ISSTA Angelo Ferrando, Rafael C. Cardoso
2021	J	`jnl`	Special Issue: Agents and Robots for Reliable Engineered Autonomy. J. Sens. Actuator Networks Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
2021	J	`jnl`	Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
2021	—	`conf`	Towards Partial Monitoring: It is Always too Soon to Give Up. FMAS Angelo Ferrando, Rafael C. Cardoso
2020	—	`conf`	Adaptable and Verifiable BDI Reasoning. AREA@ECAI Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis
2020	—	`conf`	An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
2020	—	`conf`	Heterogeneous Verification of an Autonomous Curiosity Rover. NFM Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
2020	J	`jnl`	Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
2020	J	`jnl`	LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. CoRR Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
2020	—	`ed.`	Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020. AREA@ECAI Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
2020	—	`conf`	ROSMonitoring: A Runtime Verification Framework for ROS. TAROS Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
2020	—	`conf`	Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? AIRO@AI*IA Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher
2020	—	`conf`	Towards Compositional Verification for Modular Robotic Systems. FMAS Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
2019	A	`conf`	Decentralised Planning for Multi-Agent Programming Platforms. AAMAS Rafael C. Cardoso, Rafael H. Bordini
2019	—	`ch.`	LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. The Multi-Agent Programming Contest Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
2019	J	`jnl`	Modular Verification of Autonomous Space Robotics. CoRR Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
2019	—	`conf`	Plan Library Reconfigurability in BDI Agents. EMAS@AAMAS Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
2018	—	`—`	A decentralised online multi-agent planning framework for multi-agent systems Rafael C. Cardoso
2018	J	`jnl`	SMART-JaCaMo: an organization-based team for the multi-agent programming contest. Ann. Math. Artif. Intell. Rafael C. Cardoso, Tabajara Krausburg, Túlio L. Baségio, Débora C. Engelmann, Jomi Fred Hübner, Rafael H. Bordini
2018	J	`jnl`	Team PUCRS: a decentralised multi-agent solution for the agents in the city scenario. Int. J. Agent Oriented Softw. Eng. Rafael C. Cardoso, Ramon Fraga Pereira, Guilherme Krzisch, Maurício Cecílio Magnaguagno, Túlio L. Baségio, Felipe Meneguzzi
2017	A	`conf`	A Modular Framework for Decentralised Multi-Agent Planning. AAMAS Rafael C. Cardoso, Rafael H. Bordini
2016	—	`conf`	Allocating Social Goals Using the Contract Net Protocol in Online Multi-agent Planning. BRACIS Rafael C. Cardoso, Rafael H. Bordini
2013	—	`conf`	Benchmarking Communication in Actor- and Agent-Based Languages. EMAS@AAMAS Rafael C. Cardoso, Jomi Fred Hübner, Rafael H. Bordini
2013	A	`conf`	Benchmarking communication in actor- and agent-based languages. AAMAS Rafael C. Cardoso, Jomi Fred Hübner, Rafael H. Bordini
2013	—	`conf`	Towards benchmarking actor- and agent-based programming languages. AGERE!@SPLASH Rafael C. Cardoso, Maicon Rafael Zatelli, Jomi Fred Hübner, Rafael H. Bordini