Rafael C. Cardoso

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 28

Top Topics

Mental Attitudes

Agent Programming

Asynchronous Backtracking

Top Venues

J. Sens. Actuator Networks

Publications

Hilal Al Shukairi, Rafael C. Cardoso
ML-MAS: A Hybrid AI Framework for Self-Driving Vehicles. AAMAS (2023)
Angelo Ferrando, Louise A. Dennis, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Viviana Mascardi
Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems. ACM Trans. Softw. Eng. Methodol. 30 (4) (2021)
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
Special Issue: Agents and Robots for Reliable Engineered Autonomy. J. Sens. Actuator Networks 10 (3) (2021)
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
An Overview of Verification and Validation Challenges for Inspection Robots. Robotics 10 (2) (2021)
Rafael C. Cardoso, Angelo Ferrando
A Review of Agent-Based Programming for Multi-Agent Systems. Comput. 10 (2) (2021)
Michael Fisher, Angelo Ferrando, Rafael C. Cardoso
Increasing confidence in autonomous systems. VORTEX@ISSTA (2021)
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Matt Luckcuck, Sven Linker, Terry R. Payne
MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. CoRR (2021)
Matt Luckcuck, Rafael C. Cardoso
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest. CoRR (2021)
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
Automated Planning and BDI Agents: A Case Study. PAAMS (2021)
Angelo Ferrando, Rafael C. Cardoso
Towards Partial Monitoring: It is Always too Soon to Give Up. FMAS (2021)
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. J. Sens. Actuator Networks 10 (2) (2021)
Angelo Ferrando, Rafael C. Cardoso
RVPLAN: a general purpose framework for replanning using runtime verification. VORTEX@ISSTA (2021)
Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher
Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS Conference (2021)
Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher
An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT (2020)
Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck
Towards Compositional Verification for Modular Robotic Systems. FMAS (2020)
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR (2020)
Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS (2020)
Angelo Ferrando, Zeid Kootbally, Pavel Piliptchak, Rafael C. Cardoso, Craig Schlenoff, Michael Fisher
Runtime Verification of the ARIAC Competition: Can a Robot be Agile and Safe at the same time? AIRO@AI*IA (2020)
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. CoRR (2020)
Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher
Heterogeneous Verification of an Autonomous Curiosity Rover. NFM (2020)
Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis
Adaptable and Verifiable BDI Reasoning. AREA@ECAI (2020)
Rafael C. Cardoso, Louise A. Dennis, Michael Fisher
Plan Library Reconfigurability in BDI Agents. EMAS@AAMAS (2019)
Rafael C. Cardoso, Rafael H. Bordini
Decentralised Planning for Multi-Agent Programming Platforms. AAMAS (2019)
Marie Farrell, Rafael C. Cardoso, Louise A. Dennis, Clare Dixon, Michael Fisher, Georgios Kourtis, Alexei Lisitsa, Matt Luckcuck, Matt Webster
Modular Verification of Autonomous Space Robotics. CoRR (2019)
Rafael C. Cardoso, Ramon Fraga Pereira, Guilherme Krzisch, Mauricio Cecilio Magnaguagno, Túlio L. Baségio, Felipe Meneguzzi
Team PUCRS: a decentralised multi-agent solution for the agents in the city scenario. Int. J. Agent Oriented Softw. Eng. 6 (1) (2018)
Rafael C. Cardoso, Tabajara Krausburg, Túlio L. Baségio, Débora C. Engelmann, Jomi Fred Hübner, Rafael H. Bordini
SMART-JaCaMo: an organization-based team for the multi-agent programming contest. Ann. Math. Artif. Intell. 84 (1-2) (2018)
Rafael C. Cardoso, Rafael H. Bordini
A Modular Framework for Decentralised Multi-Agent Planning. AAMAS (2017)
Rafael C. Cardoso, Rafael H. Bordini
Allocating Social Goals Using the Contract Net Protocol in Online Multi-agent Planning. BRACIS (2016)
Rafael C. Cardoso, Jomi Fred Hübner, Rafael H. Bordini
Benchmarking Communication in Actor- and Agent-Based Languages. EMAS@AAMAS (2013)
Rafael C. Cardoso, Jomi Fred Hübner, Rafael H. Bordini
Benchmarking communication in actor- and agent-based languages. AAMAS (2013)
Rafael C. Cardoso, Maicon Rafael Zatelli, Jomi Fred Hübner, Rafael H. Bordini
Towards benchmarking actor- and agent-based programming languages. AGERE!@SPLASH (2013)