2022
Resilience, reliability, and coordination in autonomous multi-agent systems (Journal article)
Cardoso, R. C., Logan, B., Meneguzzi, F., Oren, N., & Yun, B. (2022). Resilience, reliability, and coordination in autonomous multi-agent systems. AI COMMUNICATIONS, 35(4), 339-356. doi:10.3233/AIC-220136DOI: 10.3233/AIC-220136
Implementing Durative Actions with Failure Detection in GWENDOLEN (Chapter)
Stringer, P., Cardoso, R. C., Dixon, C., & Dennis, L. A. (2022). Implementing Durative Actions with Failure Detection in GWENDOLEN. In Unknown Book (Vol. 13190, pp. 332-351). doi:10.1007/978-3-030-97457-2_19DOI: 10.1007/978-3-030-97457-2_19
Implementing Ethical Governors in BDI (Chapter)
Cardoso, R. C., Ferrando, A., Dennis, L. A., & Fisher, M. (2022). Implementing Ethical Governors in BDI. In Unknown Book (Vol. 13190, pp. 22-41). doi:10.1007/978-3-030-97457-2_2DOI: 10.1007/978-3-030-97457-2_2
2021
Cardoso, R. C., Ferrando, A., Papacchini, F., Luckcuck, M., Linker, S., & Payne, T. R. (2021). MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. Retrieved from http://dx.doi.org/10.1007/978-3-030-88549-6_4
Cardoso, R. C., Ferrando, A., Briola, D., Menghi, C., & Ahlbrecht, T. (2021). Special Issue: Agents and Robots for Reliable Engineered Autonomy. JOURNAL OF SENSOR AND ACTUATOR NETWORKS, 10(3). doi:10.3390/jsan10030047DOI: 10.3390/jsan10030047
Verification for space robotics (Chapter)
Cardoso, R. C., Farrell, M., Kourtis, G., Webster, M., Dennis, L. A., Dixon, C., . . . Lisitsa, A. (2021). Verification for space robotics. In SPACE ROBOTICS AND AUTONOMOUS SYSTEMS (Vol. 131, pp. 377-408). Retrieved from https://www.webofscience.com/
Increasing confidence in autonomous systems (Conference Paper)
Fisher, M., Ferrando, A., & Cardoso, R. C. (2021). Increasing confidence in autonomous systems. In Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution. ACM. doi:10.1145/3464974.3468452DOI: 10.1145/3464974.3468452
RVPLAN: a general purpose framework for replanning using runtime verification (Conference Paper)
Ferrando, A., & Cardoso, R. C. (2021). RVPLAN: a general purpose framework for replanning using runtime verification. In Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution. ACM. doi:10.1145/3464974.3468447DOI: 10.1145/3464974.3468447
Luckcuck, M., & Cardoso, R. C. (2022). Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. ENGINEERING MULTI-AGENT SYSTEMS, 13190, 198-217. doi:10.1007/978-3-030-97457-2_12DOI: 10.1007/978-3-030-97457-2_12
Cardoso, R. C., Ferrando, A., Briola, D., Menghi, C., & Ahlbrecht, T. (2021). Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020. JOURNAL OF SENSOR AND ACTUATOR NETWORKS, 10(2). doi:10.3390/jsan10020033DOI: 10.3390/jsan10020033
Cardoso, R. C., & Ferrando, A. (n.d.). A Review of Agent-Based Programming for Multi-Agent Systems. Computers, 10(2), 16. doi:10.3390/computers10020016DOI: 10.3390/computers10020016
Agile Tasking of Robotic Systems with Explicit Autonomy (Journal article)
Cardoso, R. C., Michaloski, J. L., Schlenoff, C., Ferrando, A., Dennis, L. A., & Fisher, M. (n.d.). Agile Tasking of Robotic Systems with Explicit Autonomy. The International FLAIRS Conference Proceedings, 34(1). doi:10.32473/flairs.v34i1.128481DOI: 10.32473/flairs.v34i1.128481
Fisher, M., Cardoso, R. C., Collins, E. C., Dadswell, C., Dennis, L. A., Dixon, C., . . . Webster, M. (2021). An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10(2). doi:10.3390/robotics10020067DOI: 10.3390/robotics10020067
Automated Planning and BDI Agents: A Case Study (Chapter)
Cardoso, R. C., Ferrando, A., & Papacchini, F. (2021). Automated Planning and BDI Agents: A Case Study. In Unknown Book (Vol. 12946, pp. 52-63). doi:10.1007/978-3-030-85739-4_5DOI: 10.1007/978-3-030-85739-4_5
Runtime verification of the ARIAC competition: Can a robot be agile and safe at the same time? (Conference Paper)
Ferrando, A., Kootbally, Z., Piliptchak, P., Cardoso, R. C., Schlenoff, C., & Fisher, M. (2021). Runtime verification of the ARIAC competition: Can a robot be agile and safe at the same time?. In CEUR Workshop Proceedings Vol. 2806 (pp. 7-11).
2020
Cardoso, R. C., Dennis, L. A., Farrell, M., Fisher, M., & Luckcuck, M. (2020). Towards Compositional Verification for Modular Robotic Systems. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, (329), 15-22. doi:10.4204/EPTCS.329.2DOI: 10.4204/EPTCS.329.2
Cardoso, R. C., Ferrando, A., & Papacchini, F. (2020). LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. In The Multi-Agent Programming Contest 2019. Springer. doi:10.1007/978-3-030-59299-8_2DOI: 10.1007/978-3-030-59299-8_2
Cardoso, R., Farrell, M., Luckcuck, M., Ferrando, A., & Fisher, M. (2020). Heterogeneous Verification of an Autonomous Curiosity Rover. In R. Lee, S. Jha, & A. Mavridou (Eds.), NASA Formal Methods. NFM 2020. Lecture Notes in Computer Science Vol. 12229. Moffett Field, CA, USA: Springer. doi:10.1007/978-3-030-55754-6_20DOI: 10.1007/978-3-030-55754-6_20
Stringer, P., Cardoso, R. C., Huang, X., & Dennis, L. A. (2020). Adaptable and Verifiable BDI Reasoning*. In ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE (pp. 117-125). doi:10.4204/EPTCS.319.9DOI: 10.4204/EPTCS.319.9
Cardoso, R. C., Dennis, L. A., & Fisher, M. (2020). Plan Library Reconfigurability in BDI Agents. In 7th International Workshop on Engineering Multi-Agent Systems. Montreal Canada.
An Interface for Programming Verifiable Autonomous Agents in ROS (Chapter)
Cardoso, R. C., Ferrando, A., Dennis, L. A., & Fisher, M. (2020). An Interface for Programming Verifiable Autonomous Agents in ROS. In Unknown Book (Vol. 12520, pp. 191-205). doi:10.1007/978-3-030-66412-1_13DOI: 10.1007/978-3-030-66412-1_13
ROSMonitoring: A Runtime Verification Framework for ROS (Conference Paper)
Ferrando, A., Cardoso, R. C., Fisher, M., Ancona, D., Franceschini, L., & Mascardi, V. (2020). ROSMonitoring: A Runtime Verification Framework for ROS. In Unknown Conference (pp. 387-399). Springer International Publishing. doi:10.1007/978-3-030-63486-5_40DOI: 10.1007/978-3-030-63486-5_40
2019
Farrell, M., Cardoso, R. C., Dennis, L. A., Dixon, C., Fisher, M., Kourtis, G., . . . Webster, M. (2019). Modular Verification of Autonomous Space Robotics. Retrieved from http://arxiv.org/abs/1908.10738v1
Cardoso, R. C., & Bordini, R. H. (2019). Decentralised Planning for Multi-Agent Programming Platforms. In AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (pp. 799-807). Retrieved from https://www.webofscience.com/
2018
SMART-JaCaMo: an organization-based team for the multi-agent programming contest (Journal article)
Cardoso, R. C., Krausburg, T., Basegio, T., Engelmann, D. C., Hubner, J. F., & Bordini, R. H. (2018). SMART-JaCaMo: an organization-based team for the multi-agent programming contest. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 84(1-2), 75-93. doi:10.1007/s10472-018-9584-zDOI: 10.1007/s10472-018-9584-z
Team PUCRS: a decentralised multi-agent solution for the agents in the city scenario (Journal article)
Baségio, T., Magnaguagno, M. C., Krzisch, G., Meneguzzi, F., Pereira, R. F., & Cardoso, R. C. (2018). Team PUCRS: a decentralised multi-agent solution for the agents in the city scenario. International Journal of Agent-Oriented Software Engineering, 6(1), 3. doi:10.1504/ijaose.2018.10010601DOI: 10.1504/ijaose.2018.10010601
2017
Allocating Social Goals Using the Contract Net Protocol in Online Multi-agent Planning (Conference Paper)
Cardoso, R. C., & Bordini, R. H. (2016). Allocating Social Goals Using the Contract Net Protocol in Online Multi-agent Planning. In 2016 5th Brazilian Conference on Intelligent Systems (BRACIS). IEEE. doi:10.1109/bracis.2016.045DOI: 10.1109/bracis.2016.045
A Modular Framework for Decentralised Multi-Agent Planning (Conference Paper)
Cardoso, R. C., & Bordini, R. H. (2017). A Modular Framework for Decentralised Multi-Agent Planning. In AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (pp. 1487-1489). Retrieved from https://www.webofscience.com/
2016
Allocating Social Goals Using the Contract Net Protocol in Online Multi-Agent Planning (Conference Paper)
Cardoso, R. C., & Bordini, R. H. (2016). Allocating Social Goals Using the Contract Net Protocol in Online Multi-Agent Planning. In PROCEEDINGS OF 2016 5TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS 2016) (pp. 199-204). doi:10.1109/BRACIS.2016.35DOI: 10.1109/BRACIS.2016.35