default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRafael C. Cardoso 0001
Person information
- affiliation: University of Aberdeen, United Kingdom
- affiliation: University of Liverpool, United Kingdom
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j11]Leandro Buss Becker
, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher:
Effects of the Human Presence among Robots in the ARIAC 2023 Industrial Automation Competition. J. Intell. Robotic Syst. 110(3): 112 (2024)- [j10]Marie Farrell, Matthew Bradbury, Rafael C. Cardoso, Michael Fisher, Louise A. Dennis, Clare Dixon, Al Tariq Sheik, Hu Yuan, Carsten Maple:
Security-Minded Verification of Cooperative Awareness Messages. IEEE Trans. Dependable Secur. Comput. 21(4): 4048-4065 (2024) - [c34]Alexandre Yukio Ichida, Felipe Meneguzzi, Rafael C. Cardoso:
BDI Agents in Natural Language Environments. AAMAS 2024: 880-888 - [e3]Daniela Briola, Rafael C. Cardoso, Brian Logan:
Engineering Multi-Agent Systems - 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers. Lecture Notes in Computer Science 15152, Springer 2024, ISBN 978-3-031-71151-0 [contents] - 2023
- [c33]Hilal Al Shukairi, Rafael C. Cardoso:
ML-MAS: A Hybrid AI Framework for Self-Driving Vehicles. AAMAS 2023: 1191-1199 - [c32]Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis:
Updating Action Descriptions and Plans for Cognitive Agents. AAMAS 2023: 2370-2372 - [c31]Angelo Ferrando, Rafael C. Cardoso:
Failure Handling in BDI Plans via Runtime Enforcement. ECAI 2023: 716-723 - [c30]Rafael C. Cardoso, Angelo Ferrando, Joe Collenette, Louise A. Dennis, Michael Fisher:
Towards Forward Responsibility in BDI Agents. EMAS 2023: 3-22 - [c29]Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher:
Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition. EUMAS 2023: 214-227 - [c28]Peter Stringer, Rafael C. Cardoso, Clare Dixon, Michael Fisher, Louise A. Dennis:
Adaptive Cognitive Agents: Updating Action Descriptions and Plans. EUMAS 2023: 345-362 - 2022
- [j9]Rafael C. Cardoso, Brian Logan, Felipe Meneguzzi, Nir Oren, Bruno Yun:
Resilience, reliability, and coordination in autonomous multi-agent systems. AI Commun. 35(4): 339-356 (2022) - [c27]Angelo Ferrando, Rafael C. Cardoso:
Safety Shields, an Automated Failure Handling Mechanism for BDI Agents. AAMAS 2022: 1589-1591 - [c26]Angelo Ferrando, Rafael C. Cardoso:
RVPLAN: Runtime Verification of Assumptions in Automated Planning. ICAART (2) 2022: 67-77 - [c25]Rafael C. Cardoso, Angelo Ferrando, Michael Fisher:
Extending Attack-Fault Trees with Runtime Verification. FMAS/ASYDE@SEFM 2022: 193-207 - [e2]Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis:
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. EPTCS 362, 2022 [contents] - [i6]Matt Luckcuck, Marie Farrell, Angelo Ferrando, Rafael C. Cardoso, Louise A. Dennis, Michael Fisher:
A Compositional Approach to Verifying Modular Robotic Systems. CoRR abs/2208.05507 (2022) - 2021
- [j8]Rafael C. Cardoso, Angelo Ferrando:
A Review of Agent-Based Programming for Multi-Agent Systems. Comput. 10(2): 16 (2021) - [j7]Angelo Ferrando, Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Fabio Papacchini, Michael Fisher, Viviana Mascardi:
Bridging the gap between single- and multi-model predictive runtime verification. Formal Methods Syst. Des. 59(1): 44-76 (2021) - [j6]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): 33 (2021) - [j5]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): 47 (2021) - [j4]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): 67 (2021) - [j3]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): 43:1-43:43 (2021) - [c24]Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
Implementing Ethical Governors in BDI. EMAS@AAMAS 2021: 22-41 - [c23]Matt Luckcuck, Rafael C. Cardoso:
Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. EMAS@AAMAS 2021: 198-217 - [c22]Peter Stringer, Rafael C. Cardoso, Clare Dixon, Louise A. Dennis:
Implementing Durative Actions with Failure Detection in Gwendolen. EMAS@AAMAS 2021: 332-351 - [c21]Rafael C. Cardoso, John L. Michaloski, Craig Schlenoff, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
Agile Tasking of Robotic Systems with Explicit Autonomy. FLAIRS 2021 - [c20]Michael Fisher, Angelo Ferrando, Rafael C. Cardoso:
Increasing confidence in autonomous systems. VORTEX@ISSTA 2021: 1-4 - [c19]Angelo Ferrando, Rafael C. Cardoso:
RVPLAN: a general purpose framework for replanning using runtime verification. VORTEX@ISSTA 2021: 22-25 - [c18]Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini:
Automated Planning and BDI Agents: A Case Study. PAAMS 2021: 52-63 - [c17]Angelo Ferrando, Rafael C. Cardoso:
Towards Partial Monitoring: It is Always too Soon to Give Up. FMAS 2021: 38-53 - [i5]Matt Luckcuck, Rafael C. Cardoso:
Formal Verification of a Map Merging Protocol in the Multi-Agent Programming Contest. CoRR abs/2106.04512 (2021) - [i4]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 abs/2110.08172 (2021) - 2020
- [c16]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: 7-11 - [c15]Rafael C. Cardoso, Angelo Ferrando, Louise A. Dennis, Michael Fisher:
An Interface for Programming Verifiable Autonomous Agents in ROS. EUMAS/AT 2020: 191-205 - [c14]Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher:
Heterogeneous Verification of an Autonomous Curiosity Rover. NFM 2020: 353-360 - [c13]Angelo Ferrando, Rafael C. Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, Viviana Mascardi:
ROSMonitoring: A Runtime Verification Framework for ROS. TAROS 2020: 387-399 - [c12]Rafael C. Cardoso, Louise A. Dennis, Marie Farrell, Michael Fisher, Matt Luckcuck:
Towards Compositional Verification for Modular Robotic Systems. FMAS 2020: 15-22 - [c11]Peter Stringer, Rafael C. Cardoso, Xiaowei Huang, Louise A. Dennis:
Adaptable and Verifiable BDI Reasoning. AREA@ECAI 2020: 117-125 - [e1]Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht:
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020. EPTCS 319, 2020 [contents] - [i3]Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini:
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. CoRR abs/2006.02736 (2020) - [i2]Rafael C. Cardoso, Marie Farrell, Matt Luckcuck, Angelo Ferrando, Michael Fisher:
Heterogeneous Verification of an Autonomous Curiosity Rover. CoRR abs/2007.10045 (2020)
2010 – 2019
- 2019
- [c10]Rafael C. Cardoso, Rafael H. Bordini:
Decentralised Planning for Multi-Agent Programming Platforms. AAMAS 2019: 799-807 - [c9]Rafael C. Cardoso, Louise A. Dennis, Michael Fisher:
Plan Library Reconfigurability in BDI Agents. EMAS@AAMAS 2019: 195-212 - [p2]Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini:
LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. The Multi-Agent Programming Contest 2019: 31-58 - [i1]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 abs/1908.10738 (2019) - 2018
- [j2]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): 75-93 (2018) - [j1]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): 3-34 (2018) - [c8]Roman Barták, Adrien Maillard, Rafael Cauê Cardoso:
Validation of Hierarchical Plans via Parsing of Attribute Grammars. AAAI Workshops 2018: 593-600 - [c7]Roman Barták, Adrien Maillard, Rafael Cauê Cardoso:
Validation of Hierarchical Plans via Parsing of Attribute Grammars. AAAI Spring Symposia 2018 - [c6]Roman Barták, Adrien Maillard, Rafael Cauê Cardoso:
Validation of Hierarchical Plans via Parsing of Attribute Grammars. ICAPS 2018: 11-19 - [p1]Tabajara Krausburg, Rafael Cauê Cardoso, Juliana Damasio, Vitor Peres, Giovani Parente Farias, Débora Cristina Engelmann, Jomi Fred Hübner, Rafael H. Bordini:
SMART-JaCaMo: An Organisation-Based Team for the Multi-Agent Programming Contest. The Multi-Agent Programming Contest 2018: 72-100 - 2017
- [c5]Rafael C. Cardoso, Rafael H. Bordini:
A Modular Framework for Decentralised Multi-Agent Planning. AAMAS 2017: 1487-1489 - 2016
- [c4]Rafael C. Cardoso, Rafael H. Bordini:
Allocating Social Goals Using the Contract Net Protocol in Online Multi-agent Planning. BRACIS 2016: 199-204 - 2013
- [c3]Rafael C. Cardoso, Maicon Rafael Zatelli, Jomi Fred Hübner, Rafael H. Bordini:
Towards benchmarking actor- and agent-based programming languages. AGERE!@SPLASH 2013: 115-126 - [c2]Rafael C. Cardoso, Jomi Fred Hübner, Rafael H. Bordini:
Benchmarking Communication in Actor- and Agent-Based Languages. EMAS@AAMAS 2013: 58-77 - [c1]Rafael C. Cardoso, Jomi Fred Hübner, Rafael H. Bordini:
Benchmarking communication in actor- and agent-based languages. AAMAS 2013: 1267-1268
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 21:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
