var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https%3A%2F%2Frafaelcaue.github.io%2Fpublications.bib&jsonp=1&group0=year&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Frafaelcaue.github.io%2Fpublications.bib&jsonp=1&group0=year\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Frafaelcaue.github.io%2Fpublications.bib&jsonp=1&group0=year\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
    2. \n
  2. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
    3. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2023\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n ML-MAS: A Hybrid AI Framework for Self-Driving Vehicles.\n \n \n \n \n\n\n \n Al Shukairi, H.; and Cardoso, R. C.\n\n\n \n\n\n\n In Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, of AAMAS '23, pages 1191–1199, Richland, SC, 2023. International Foundation for Autonomous Agents and Multiagent Systems\n \n\n\n\n
\n\n\n\n \n \n \"ML-MAS:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 14 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{Cardoso23a,\nauthor = {Al Shukairi, Hilal and Cardoso, Rafael C.},\ntitle = {ML-MAS: A Hybrid AI Framework for Self-Driving Vehicles},\nyear = {2023},\nisbn = {9781450394321},\npublisher = {International Foundation for Autonomous Agents and Multiagent Systems},\naddress = {Richland, SC},\nabstract = {Machine Learning (ML) techniques have been shown to be widely successful in environments that require processing a large amount of perception data, such as in fully autonomous self-driving vehicles. Nevertheless, in such a complex domain, ML-only approaches have several limitations. In this paper, we propose a hybrid Artificial Intelligence (AI) framework for fully autonomous self-driving vehicles that uses rule-based agents from symbolic AI to supplement the ML models in their decision-making. Our framework is evaluated using routes from the CARLA simulation environment, and has been shown to improve the driving score of the ML models.},\nbooktitle = {Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems},\npages = {1191–1199},\nnumpages = {9},\nurl          = {https://dl.acm.org/doi/10.5555/3545946.3598762},\ndoi          = {10.5555/3545946.3598762},\nkeywords = {hybrid AI, BDI agents, CARLA, self-driving vehicles, deep learning},\nlocation = {London, United Kingdom},\nseries = {AAMAS '23}\n}\n\n
\n
\n\n\n
\n Machine Learning (ML) techniques have been shown to be widely successful in environments that require processing a large amount of perception data, such as in fully autonomous self-driving vehicles. Nevertheless, in such a complex domain, ML-only approaches have several limitations. In this paper, we propose a hybrid Artificial Intelligence (AI) framework for fully autonomous self-driving vehicles that uses rule-based agents from symbolic AI to supplement the ML models in their decision-making. Our framework is evaluated using routes from the CARLA simulation environment, and has been shown to improve the driving score of the ML models.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Updating Action Descriptions and Plans for Cognitive Agents.\n \n \n \n \n\n\n \n Stringer, P.; Cardoso, R. C.; Dixon, C.; Fisher, M.; and Dennis, L. A.\n\n\n \n\n\n\n In Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, of AAMAS '23, pages 2370–2372, Richland, SC, 2023. International Foundation for Autonomous Agents and Multiagent Systems\n \n\n\n\n
\n\n\n\n \n \n \"UpdatingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{Stringer23a,\nauthor = {Stringer, Peter and Cardoso, Rafael C. and Dixon, Clare and Fisher, Michael and Dennis, Louise A.},\ntitle = {Updating Action Descriptions and Plans for Cognitive Agents},\nyear = {2023},\nisbn = {9781450394321},\npublisher = {International Foundation for Autonomous Agents and Multiagent Systems},\naddress = {Richland, SC},\nabstract = {In this paper, we present an extension of Belief-Desire-Intention agents which can adapt their performance in response to changes in their environment. Our main contributions are the underlying theoretical mechanisms for data collection about action performance, the synthesis of new action descriptions from this data, the integration with plan reconfiguration, and a practical implementation to validate the semantics.},\nbooktitle = {Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems},\npages = {2370–2372},\nnumpages = {3},\nurl          = {https://dl.acm.org/doi/10.5555/3545946.3598937},\ndoi          = {10.5555/3545946.3598937},\nkeywords = {action descriptions, beliefs-desires-intentions, ai planning},\nlocation = {London, United Kingdom},\nseries = {AAMAS '23}\n}\n\n
\n
\n\n\n
\n In this paper, we present an extension of Belief-Desire-Intention agents which can adapt their performance in response to changes in their environment. Our main contributions are the underlying theoretical mechanisms for data collection about action performance, the synthesis of new action descriptions from this data, the integration with plan reconfiguration, and a practical implementation to validate the semantics.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Adaptive Cognitive Agents: Updating Action Descriptions and Plans.\n \n \n \n\n\n \n Stringer, P.; Cardoso, R. C.; Dixon, C.; Fisher, M.; and Dennis, L. A.\n\n\n \n\n\n\n In Proceedings of the 2023 European Conference of Multi-Agents Systems, of EUMAS '23, 2023. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Stringer23b,\nauthor = {Stringer, Peter and Cardoso, Rafael C. and Dixon, Clare and Fisher, Michael and Dennis, Louise A.},\ntitle = {Adaptive Cognitive Agents: Updating Action Descriptions and Plans},\nyear = {2023},\nbooktitle = {Proceedings of the 2023 European Conference of Multi-Agents Systems},\nlocation = {Naples, Italy},\nseries = {EUMAS '23}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition.\n \n \n \n\n\n \n Leandro Buss Becker, A. D.; Craig Schlenoff, J. A.; Zeid Kootbally, A. F.; and Rafael C. Cardoso, M. F.\n\n\n \n\n\n\n In Proceedings of the 2023 European Conference of Multi-Agents Systems, of EUMAS '23, 2023. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Becker23a,\nauthor = {Leandro Buss Becker, Anthony Downs, Craig Schlenoff, Justin Albrecht, Zeid Kootbally, Angelo Ferrando, Rafael C. Cardoso, Michael Fisher},\ntitle = {Using a BDI Agent to Represent a Human on the Factory Floor of the ARIAC 2023 Industrial Automation Competition},\nyear = {2023},\nbooktitle = {Proceedings of the 2023 European Conference of Multi-Agents Systems},\nlocation = {Naples, Italy},\nseries = {EUMAS '23}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Failure Handling in BDI Plans via Runtime Enforcement.\n \n \n \n\n\n \n Ferrando, A.; and Cardoso, R. C.\n\n\n \n\n\n\n In Proceedings of the 26th European Conference on Artificial Intelligence, of ECAI '23, 2023. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{FerrandoShield2,\nauthor = {Ferrando, Angelo and Cardoso, Rafael C.},\ntitle = {Failure Handling in BDI Plans via Runtime Enforcement},\nyear = {2023},\nbooktitle = {Proceedings of the 26th European Conference on Artificial Intelligence},\nlocation = {Krakow, Poland},\nseries = {ECAI '23}\n}\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (9)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest.\n \n \n \n\n\n \n Luckcuck, M.; and Cardoso, R. C.\n\n\n \n\n\n\n In Alechina, N.; Baldoni, M.; and Logan, B., editor(s), Engineering Multi-Agent Systems, pages 198–217, Cham, 2022. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Luckcuck21a,\nauthor="Luckcuck, Matt\nand Cardoso, Rafael C.",\neditor="Alechina, Natasha\nand Baldoni, Matteo\nand Logan, Brian",\ntitle="Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest",\nbooktitle="Engineering Multi-Agent Systems",\nyear="2022",\npublisher="Springer International Publishing",\naddress="Cham",\npages="198--217",\nabstract="Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent systems provides useful confidence in its reliability. In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment. The protocol was used by the LFC team in the 2019 edition of the Multi-Agent Programming Contest (MAPC). Our specification of the protocol is written in Communicating Sequential Processes (CSP), which is a well-suited approach to specifying agent communication protocols due to its focus on concurrent communicating systems. We validate the specification's behaviour using scenarios where the correct behaviour is known, and verify that eventually all the maps have merged.",\ndoi="10.1007/978-3-030-97457-2_12",\nisbn="978-3-030-97457-2"\n}\n\n
\n
\n\n\n
\n Communication is a critical part of enabling multi-agent systems to cooperate. This means that applying formal methods to protocols governing communication within multi-agent systems provides useful confidence in its reliability. In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment. The protocol was used by the LFC team in the 2019 edition of the Multi-Agent Programming Contest (MAPC). Our specification of the protocol is written in Communicating Sequential Processes (CSP), which is a well-suited approach to specifying agent communication protocols due to its focus on concurrent communicating systems. We validate the specification's behaviour using scenarios where the correct behaviour is known, and verify that eventually all the maps have merged.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Implementing Durative Actions with Failure Detection in Gwendolen.\n \n \n \n\n\n \n Stringer, P.; Cardoso, R. C.; Dixon, C.; and Dennis, L. A.\n\n\n \n\n\n\n In Alechina, N.; Baldoni, M.; and Logan, B., editor(s), Engineering Multi-Agent Systems, pages 332–351, Cham, 2022. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Stringer21a,\nauthor="Stringer, Peter\nand Cardoso, Rafael C.\nand Dixon, Clare\nand Dennis, Louise A.",\neditor="Alechina, Natasha\nand Baldoni, Matteo\nand Logan, Brian",\ntitle="Implementing Durative Actions with Failure Detection in Gwendolen",\nbooktitle="Engineering Multi-Agent Systems",\nyear="2022",\npublisher="Springer International Publishing",\naddress="Cham",\npages="332--351",\nabstract="We present an extension of the semantics for action execution in the Gwendolen BDI programming language. This extension firstly explicitly assumes that actions have durations and, moreover, that the reasoning cycle of the agent can not be stopped while such an action is executing but needs to continue in order to monitor for important external events. Secondly, the extension assumes that actions may often fail and this needs to be detected. This forms part of a larger project to develop a framework plan/action adaptation within BDI agents in order to enable long-term autonomy. We have implemented the extension and demonstrate its operation in a simple case study.",\ndoi={10.1007/978-3-030-97457-2_19},\nisbn="978-3-030-97457-2"\n}\n\n
\n
\n\n\n
\n We present an extension of the semantics for action execution in the Gwendolen BDI programming language. This extension firstly explicitly assumes that actions have durations and, moreover, that the reasoning cycle of the agent can not be stopped while such an action is executing but needs to continue in order to monitor for important external events. Secondly, the extension assumes that actions may often fail and this needs to be detected. This forms part of a larger project to develop a framework plan/action adaptation within BDI agents in order to enable long-term autonomy. We have implemented the extension and demonstrate its operation in a simple case study.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Implementing Ethical Governors in BDI.\n \n \n \n\n\n \n Cardoso, R. C.; Ferrando, A.; Dennis, L. A.; and Fisher, M.\n\n\n \n\n\n\n In Alechina, N.; Baldoni, M.; and Logan, B., editor(s), Engineering Multi-Agent Systems, pages 22–41, Cham, 2022. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso21c,\nauthor="Cardoso, Rafael C.\nand Ferrando, Angelo\nand Dennis, Louise A.\nand Fisher, Michael",\neditor="Alechina, Natasha\nand Baldoni, Matteo\nand Logan, Brian",\ntitle="Implementing Ethical Governors in BDI",\nbooktitle="Engineering Multi-Agent Systems",\nyear="2022",\npublisher="Springer International Publishing",\naddress="Cham",\npages="22--41",\nabstract="Increasingly, BDI agents are being used not just for basic decision-making, but for more abstract ethical decisions. Several authors have built ad-hoc extensions of BDI systems that provide varying levels of sophistication. In this paper, we introduce a general-purpose approach for implementing ethical governors in BDI systems. With this we aim to provide a broad, flexible and consistent framework for implementing increasingly complex ethical reasoning. Our approach is based on a set of domain-independent abstract agents (evidential reasoner, arbiter and execution agent) that together represent an ethical governor. We discuss the implementation of these abstract agents in the Jason agent programming language and demonstrate how they can be used in practice by instantiating agents in two different case studies, one using utilitarianism and the other deontic logic for reasoning about ethical decisions.",\ndoi={10.1007/978-3-030-97457-2_2},\nisbn="978-3-030-97457-2"\n}\n      \n
\n
\n\n\n
\n Increasingly, BDI agents are being used not just for basic decision-making, but for more abstract ethical decisions. Several authors have built ad-hoc extensions of BDI systems that provide varying levels of sophistication. In this paper, we introduce a general-purpose approach for implementing ethical governors in BDI systems. With this we aim to provide a broad, flexible and consistent framework for implementing increasingly complex ethical reasoning. Our approach is based on a set of domain-independent abstract agents (evidential reasoner, arbiter and execution agent) that together represent an ethical governor. We discuss the implementation of these abstract agents in the Jason agent programming language and demonstrate how they can be used in practice by instantiating agents in two different case studies, one using utilitarianism and the other deontic logic for reasoning about ethical decisions.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n RVPLAN: Runtime Verification of Assumptions in Automated Planning.\n \n \n \n\n\n \n Ferrando, A.; and Cardoso, R.\n\n\n \n\n\n\n In Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,, pages 67-77, 2022. INSTICC, SciTePress\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cardoso22a,\nauthor={Angelo Ferrando and Rafael Cardoso},\ntitle={RVPLAN: Runtime Verification of Assumptions in Automated Planning},\nbooktitle={Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},\nyear={2022},\npages={67-77},\npublisher={SciTePress},\norganization={INSTICC},\ndoi={10.5220/0010776500003116},\nisbn={978-989-758-547-0},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Safety Shields, an Automated Failure Handling Mechanism for BDI Agents.\n \n \n \n \n\n\n \n Ferrando, A.; and Cardoso, R. C.\n\n\n \n\n\n\n In Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, of AAMAS '22, pages 1589–1591, Richland, SC, 2022. International Foundation for Autonomous Agents and Multiagent Systems\n \n\n\n\n
\n\n\n\n \n \n \"SafetyPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{FerrandoShield,\nauthor = {Ferrando, Angelo and Cardoso, Rafael C.},\ntitle = {Safety Shields, an Automated Failure Handling Mechanism for BDI Agents},\nyear = {2022},\nisbn = {9781450392136},\npublisher = {International Foundation for Autonomous Agents and Multiagent Systems},\naddress = {Richland, SC},\nbooktitle = {Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems},\npages = {1589–1591},\nnumpages = {3},\nkeywords = {failure handling, runtime verification, bdi, multi-agent systems},\nlocation = {Virtual Event, New Zealand},\nseries = {AAMAS '22},\nurl = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1589.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022.\n \n \n \n \n\n\n \n Cardoso, R. C.; Ferrando, A.; Papacchini, F.; Askarpour, M.; and Dennis, L. A.,\n editors.\n \n\n\n \n\n\n\n Volume 362, of EPTCS. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"ProceedingsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@proceedings{AREA2022,\n  editor    = {Rafael C. Cardoso and\n               Angelo Ferrando and\n               Fabio Papacchini and\n               Mehrnoosh Askarpour and\n               Louise A. Dennis},\n  title     = {Proceedings of the Second Workshop on Agents and Robots for reliable\n               Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July\n               2022},\n  series    = {{EPTCS}},\n  volume    = {362},\n  year      = {2022},\n  url       = {https://doi.org/10.4204/EPTCS.362},\n  doi       = {10.4204/EPTCS.362}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Bridging the gap between single- and multi-model predictive runtime verification.\n \n \n \n \n\n\n \n Ferrando, A.; Cardoso, R. C.; Farrell, M.; Luckcuck, M.; Papacchini, F.; Fisher, M.; and Mascardi, V.\n\n\n \n\n\n\n Formal Methods in System Design. 2022.\n \n\n\n\n
\n\n\n\n \n \n \"BridgingPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Ferrando22,\n\tauthor = {Ferrando, Angelo and Cardoso, Rafael C. and Farrell, Marie and Luckcuck, Matt and Papacchini, Fabio and Fisher, Michael and Mascardi, Viviana},\n\ttitle = {Bridging the gap between single- and multi-model predictive runtime verification},\n\tyear = {2022},\n\tissue_date = {May 2021},\n\tpublisher = {Springer},\n\turl = {https://doi.org/10.1007/s10703-022-00395-7},\n\tdoi = {10.1007/s10703-022-00395-7},\n\tabstract = {This paper presents an extension of the Predictive Runtime Verification (PRV) paradigm to consider multiple models of the System Under Analysis (SUA). We call this extension Multi-Model PRV. Typically, PRV attempts to predict the satisfaction or violation of a property based on a trace and a (single) formal model of the SUA. However, contemporary node- or component-based systems (e.g. robotic systems) may benefit from monitoring based on a model of each component. We show how a Multi-Model PRV approach can be applied in either a centralised or a compositional way (where the property is compositional), as best suits the SUA. Crucially, our approach is formalism-agnostic. We demonstrate our approach using an illustrative example of a Mars Curiosity rover simulation and evaluate our contribution via a prototype implementation.},\n\tjournal = {Formal Methods in System Design}\n     }\n     \n
\n
\n\n\n
\n This paper presents an extension of the Predictive Runtime Verification (PRV) paradigm to consider multiple models of the System Under Analysis (SUA). We call this extension Multi-Model PRV. Typically, PRV attempts to predict the satisfaction or violation of a property based on a trace and a (single) formal model of the SUA. However, contemporary node- or component-based systems (e.g. robotic systems) may benefit from monitoring based on a model of each component. We show how a Multi-Model PRV approach can be applied in either a centralised or a compositional way (where the property is compositional), as best suits the SUA. Crucially, our approach is formalism-agnostic. We demonstrate our approach using an illustrative example of a Mars Curiosity rover simulation and evaluate our contribution via a prototype implementation.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Resilience, reliability, and coordination in autonomous multi-agent systems.\n \n \n \n\n\n \n Cardoso, R. C.; Logan, B.; Meneguzzi, F.; Oren, N.; and Yun, B.\n\n\n \n\n\n\n AI Communications, 35(4). 2022.\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Cardoso22b,\n  author = {Cardoso, Rafael C. and Logan, Brian and Meneguzzi, Felipe and Oren, Nir and Yun, Bruno},\n  title = {Resilience, reliability, and coordination in autonomous multi-agent systems},\n  journal = {AI Communications},\n  year = {2022},\n  volume = {35},\n  number = {4},\n  doi = {10.3233/AIC-220136},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Extending Attack-Fault Trees with Runtime Verification.\n \n \n \n\n\n \n Cardoso, R. C.; Ferrando, A.; and Fisher, M.\n\n\n \n\n\n\n In Luckcuck, M.; and Farrell, M., editor(s), Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), Berlin, Germany, 26th and 27th of September 2022, volume 371, of Electronic Proceedings in Theoretical Computer Science, pages 193-207, 2022. Open Publishing Association\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@Inproceedings{Cardoso22c,\n  author    = {Cardoso, Rafael C. and Ferrando, Angelo and Fisher, Michael},\n  year      = {2022},\n  title     = {Extending Attack-Fault Trees with Runtime Verification},\n  editor    = {Luckcuck, Matt and Farrell, Marie},\n  booktitle = {{Proceedings Fourth International Workshop on}\n               Formal Methods for Autonomous Systems (FMAS) {and Fourth International Workshop on} Automated and verifiable Software sYstem DEvelopment (ASYDE),\n               {Berlin, Germany, 26th and 27th of September 2022}},\n  series    = {Electronic Proceedings in Theoretical Computer Science},\n  volume    = {371},\n  publisher = {Open Publishing Association},\n  pages     = {193-207},\n  doi       = {10.4204/EPTCS.371.14},\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (13)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n A Review of Agent-Based Programming for Multi-Agent Systems.\n \n \n \n\n\n \n Cardoso, R. C.; and Ferrando, A.\n\n\n \n\n\n\n Computers, 10(2): 16. Jan 2021.\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 16 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Cardoso21a, \ntitle={A Review of Agent-Based Programming for Multi-Agent Systems}, \nvolume={10}, \nISSN={2073-431X}, \nDOI={10.3390/computers10020016}, \nnumber={2}, \njournal={Computers}, \npublisher={MDPI AG}, \nauthor={Cardoso, Rafael C. and Ferrando, Angelo}, \nyear={2021}, \nmonth={Jan}, \npages={16}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems.\n \n \n \n \n\n\n \n Ferrando, A.; Dennis, L. A.; Cardoso, R. C.; Fisher, M.; Ancona, D.; and Mascardi, V.\n\n\n \n\n\n\n ACM Trans. Softw. Eng. Methodol., 30(4). May 2021.\n \n\n\n\n
\n\n\n\n \n \n \"TowardPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@article{Ferrando21,\n\tauthor = {Ferrando, Angelo and Dennis, Louise A. and Cardoso, Rafael C. and Fisher, Michael and Ancona, Davide and Mascardi, Viviana},\n\ttitle = {Toward a Holistic Approach to Verification and Validation of Autonomous Cognitive Systems},\n\tyear = {2021},\n\tissue_date = {May 2021},\n\tpublisher = {Association for Computing Machinery},\n\taddress = {New York, NY, USA},\n\tvolume = {30},\n\tnumber = {4},\n\tissn = {1049-331X},\n\turl = {https://doi.org/10.1145/3447246},\n\tdoi = {10.1145/3447246},\n\tabstract = {When applying formal verification to a system that interacts with the real world, we must use a model of the environment. This model represents an abstraction of the actual environment, so it is necessarily incomplete and hence presents an issue for system verification. If the actual environment matches the model, then the verification is correct; however, if the environment falls outside the abstraction captured by the model, then we cannot guarantee that the system is well behaved. A solution to this problem consists in exploiting the model of the environment used for statically verifying the system’s behaviour and, if the verification succeeds, using it also for validating the model against the real environment via runtime verification. The article discusses this approach and demonstrates its feasibility by presenting its implementation on top of a framework integrating the Agent Java PathFinder model checker. A high-level Domain Specific Language is used to model the environment in a user-friendly way; the latter is then compiled to trace expressions for both static formal verification and runtime verification. To evaluate our approach, we apply it to two different case studies: an autonomous cruise control system and a simulation of the Mars Curiosity rover.},\n\tjournal = {ACM Trans. Softw. Eng. Methodol.},\n\tmonth = may,\n\tarticleno = {43},\n\tnumpages = {43},\n\tkeywords = {autonomous systems, model checking, trace expressions, Runtime verification, MCAPL}\n     }\n\n
\n
\n\n\n
\n When applying formal verification to a system that interacts with the real world, we must use a model of the environment. This model represents an abstraction of the actual environment, so it is necessarily incomplete and hence presents an issue for system verification. If the actual environment matches the model, then the verification is correct; however, if the environment falls outside the abstraction captured by the model, then we cannot guarantee that the system is well behaved. A solution to this problem consists in exploiting the model of the environment used for statically verifying the system’s behaviour and, if the verification succeeds, using it also for validating the model against the real environment via runtime verification. The article discusses this approach and demonstrates its feasibility by presenting its implementation on top of a framework integrating the Agent Java PathFinder model checker. A high-level Domain Specific Language is used to model the environment in a user-friendly way; the latter is then compiled to trace expressions for both static formal verification and runtime verification. To evaluate our approach, we apply it to two different case studies: an autonomous cruise control system and a simulation of the Mars Curiosity rover.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Agile Tasking of Robotic Systems with Explicit Autonomy.\n \n \n \n\n\n \n Cardoso, R. C.; Michaloski, J. L.; Schlenoff, C.; Ferrando, A.; Dennis, L. A.; and Fisher, M.\n\n\n \n\n\n\n In The International FLAIRS Conference Proceedings, volume 34, 2021. \n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Cardoso21b, \ntitle={Agile Tasking of Robotic Systems with Explicit Autonomy},\nvolume={34},\nDOI={10.32473/flairs.v34i1.128481}, \nbooktitle={The International FLAIRS Conference Proceedings},\nauthor={Cardoso, Rafael C. and Michaloski, John L. and Schlenoff, Craig and Ferrando, Angelo and Dennis, Louise A. and Fisher, Michael},\nyear={2021}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n An Overview of Verification and Validation Challenges for Inspection Robots.\n \n \n \n \n\n\n \n Fisher, M.; Cardoso, R. C.; Collins, E. C.; Dadswell, C.; Dennis, L. A.; Dixon, C.; Farrell, M.; Ferrando, A.; Huang, X.; Jump, M.; Kourtis, G.; Lisitsa, A.; Luckcuck, M.; Luo, S.; Page, V.; Papacchini, F.; and Webster, M.\n\n\n \n\n\n\n Robotics, 10(2). 2021.\n \n\n\n\n
\n\n\n\n \n \n \"AnPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{robotics10020067,\nauthor = {Fisher, Michael and Cardoso, Rafael C. and Collins, Emily C. and Dadswell, Christopher and Dennis, Louise A. and Dixon, Clare and Farrell, Marie and Ferrando, Angelo and Huang, Xiaowei and Jump, Mike and Kourtis, Georgios and Lisitsa, Alexei and Luckcuck, Matt and Luo, Shan and Page, Vincent and Papacchini, Fabio and Webster, Matt},\ntitle = {An Overview of Verification and Validation Challenges for Inspection Robots},\njournal = {Robotics},\nvolume = {10},\nyear = {2021},\nnumber = {2},\nurl = {https://www.mdpi.com/2218-6581/10/2/67},\nissn = {2218-6581},\nabstract = {The advent of sophisticated robotics and AI technology makes sending humans into hazardous and distant environments to carry out inspections increasingly avoidable. Being able to send a robot, rather than a human, into a nuclear facility or deep space is very appealing. However, building these robotic systems is just the start and we still need to carry out a range of verification and validation tasks to ensure that the systems to be deployed are as safe and reliable as possible. Based on our experience across three research and innovation hubs within the UK’s “Robots for a Safer World” programme, we present an overview of the relevant techniques and challenges in this area. As the hubs are active across nuclear, offshore, and space environments, this gives a breadth of issues common to many inspection robots.},\ndoi = {10.3390/robotics10020067}\n}\n\n
\n
\n\n\n
\n The advent of sophisticated robotics and AI technology makes sending humans into hazardous and distant environments to carry out inspections increasingly avoidable. Being able to send a robot, rather than a human, into a nuclear facility or deep space is very appealing. However, building these robotic systems is just the start and we still need to carry out a range of verification and validation tasks to ensure that the systems to be deployed are as safe and reliable as possible. Based on our experience across three research and innovation hubs within the UK’s “Robots for a Safer World” programme, we present an overview of the relevant techniques and challenges in this area. As the hubs are active across nuclear, offshore, and space environments, this gives a breadth of issues common to many inspection robots.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020.\n \n \n \n \n\n\n \n Cardoso, R. C.; Ferrando, A.; Briola, D.; Menghi, C.; and Ahlbrecht, T.\n\n\n \n\n\n\n Journal of Sensor and Actuator Networks, 10(2). 2021.\n \n\n\n\n
\n\n\n\n \n \n \"AgentsPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{cardoso21e,\nAUTHOR = {Cardoso, Rafael C. and Ferrando, Angelo and Briola, Daniela and Menghi, Claudio and Ahlbrecht, Tobias},\nTITLE = {Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020},\nJOURNAL = {Journal of Sensor and Actuator Networks},\nVOLUME = {10},\nYEAR = {2021},\nNUMBER = {2},\nARTICLE-NUMBER = {33},\nURL = {https://www.mdpi.com/2224-2708/10/2/33},\nISSN = {2224-2708},\nABSTRACT = {Multi-agent systems, robotics and software engineering are large and active research areas with many applications in academia and industry. The First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA), organised the first time in 2020, aims at encouraging cross-disciplinary collaborations and exchange of ideas among researchers working in these research areas. This paper presents a perspective of the organisers that aims at highlighting the latest research trends, future directions, challenges, and open problems. It also includes feedback from the discussions held during the AREA workshop. The goal of this perspective is to provide a high-level view of current research trends for researchers that aim at working in the intersection of these research areas.},\nDOI = {10.3390/jsan10020033}\n}\n\n
\n
\n\n\n
\n Multi-agent systems, robotics and software engineering are large and active research areas with many applications in academia and industry. The First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA), organised the first time in 2020, aims at encouraging cross-disciplinary collaborations and exchange of ideas among researchers working in these research areas. This paper presents a perspective of the organisers that aims at highlighting the latest research trends, future directions, challenges, and open problems. It also includes feedback from the discussions held during the AREA workshop. The goal of this perspective is to provide a high-level view of current research trends for researchers that aim at working in the intersection of these research areas.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Review of Verification and Validation for Space Autonomous Systems.\n \n \n \n \n\n\n \n Cardoso, R. C.; Kourtis, G.; Dennis, L. A.; Dixon, C.; Farrell, M.; Fisher, M.; and Webster, M.\n\n\n \n\n\n\n Current Robotics Reports. Jun 2021.\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 7 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@Article{Cardoso21d,\nauthor={Cardoso, Rafael C.\nand Kourtis, Georgios\nand Dennis, Louise A.\nand Dixon, Clare\nand Farrell, Marie\nand Fisher, Michael\nand Webster, Matt},\ntitle={A Review of Verification and Validation for Space Autonomous Systems},\njournal={Current Robotics Reports},\nyear={2021},\nmonth={Jun},\nday={18},\nabstract={The deployment of hardware (e.g., robots, satellites, etc.) to space is a costly and complex endeavor. It is of extreme importance that on-board systems are verified and validated through a variety of verification and validation techniques, especially in the case of autonomous systems. In this paper, we discuss a number of approaches from the literature that are relevant or directly applied to the verification and validation of systems in space, with an emphasis on autonomy.},\nissn={2662-4087},\ndoi={10.1007/s43154-021-00058-1},\nurl={https://doi.org/10.1007/s43154-021-00058-1}\n}\n\n
\n
\n\n\n
\n The deployment of hardware (e.g., robots, satellites, etc.) to space is a costly and complex endeavor. It is of extreme importance that on-board systems are verified and validated through a variety of verification and validation techniques, especially in the case of autonomous systems. In this paper, we discuss a number of approaches from the literature that are relevant or directly applied to the verification and validation of systems in space, with an emphasis on autonomy.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n RVPLAN: A General Purpose Framework for Replanning using Runtime Verification.\n \n \n \n\n\n \n Ferrando, A.; and Cardoso, R. C.\n\n\n \n\n\n\n In Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX'21), 2021. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{FerrandoVortex,\n  title={RVPLAN: A General Purpose Framework for Replanning using Runtime Verification},\n  author={Ferrando, Angelo and Cardoso, Rafael C.},\n  booktitle={Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX'21)},\n  year={2021}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Increasing Confidence in Autonomous Systems.\n \n \n \n\n\n \n Fisher, M.; Ferrando, A.; and Cardoso, R. C.\n\n\n \n\n\n\n In Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX'21), 2021. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{fisher2021increasing,\n  title={Increasing Confidence in Autonomous Systems},\n  author={Fisher, Michael and Ferrando, Angelo and Cardoso, Rafael C.},\n  booktitle={Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution (VORTEX'21)},\n  year={2021}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Agile Tasking of Robotic Kitting.\n \n \n \n\n\n \n Michaloski, J.; Aksu, M.; Schlenoff, C.; Cardoso, R. C.; and Fisher, M.\n\n\n \n\n\n\n In Proceedings of the ASME 2021 International Mechanical Engineering Congress and Exposition (IMECE2021), 2021. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{JohnIMECE,\n  title={Agile Tasking of Robotic Kitting},\n  author={Michaloski, John and Aksu, Murat and Schlenoff, Craig and Cardoso, Rafael C. and Fisher, Michael},\n  booktitle={Proceedings of the ASME 2021 International Mechanical Engineering Congress and Exposition (IMECE2021)},\n  year={2021}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Automated Planning and BDI Agents: A Case Study.\n \n \n \n\n\n \n Cardoso, R. C.; Ferrando, A.; and Papacchini, F.\n\n\n \n\n\n\n In Dignum, F.; Corchado, J. M.; and De La Prieta, F., editor(s), Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, pages 52–63, Cham, 2021. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso21e,\n\tauthor="Cardoso, Rafael C.\n\tand Ferrando, Angelo\n\tand Papacchini, Fabio",\n\teditor="Dignum, Frank\n\tand Corchado, Juan Manuel\n\tand De La Prieta, Fernando",\n\ttitle="Automated Planning and BDI Agents: A Case Study",\n\tbooktitle="Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection",\n\tyear="2021",\n\tpublisher="Springer International Publishing",\n\taddress="Cham",\n\tpages="52--63",\n\tabstract="There have been many attempts to integrate automated planning and rational agents. Most of the research focuses on adding support directly within agent programming languages, such as those based on the Belief-Desire-Intention model, rather than using off-the-shelf planners. This approach is often believed to improve the computation time, which is a common requirement in real world applications. This paper shows that even in complex scenarios, such as in the Multi-Agent Programming Contest with 50 agents and a 4 s deadline for the agents to send actions to the server, it is possible to efficiently integrate agent languages with off-the-shelf automated planners. Based on the experience with this case study, the paper discusses advantages and disadvantages of decoupling the agents from the planners.",\n\tisbn="978-3-030-85739-4",\n\tdoi={10.1007/978-3-030-85739-4_5}\n}\n\n
\n
\n\n\n
\n There have been many attempts to integrate automated planning and rational agents. Most of the research focuses on adding support directly within agent programming languages, such as those based on the Belief-Desire-Intention model, rather than using off-the-shelf planners. This approach is often believed to improve the computation time, which is a common requirement in real world applications. This paper shows that even in complex scenarios, such as in the Multi-Agent Programming Contest with 50 agents and a 4 s deadline for the agents to send actions to the server, it is possible to efficiently integrate agent languages with off-the-shelf automated planners. Based on the experience with this case study, the paper discusses advantages and disadvantages of decoupling the agents from the planners.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Special Issue: Agents and Robots for Reliable Engineered Autonomy.\n \n \n \n \n\n\n \n Cardoso, R. C.; Ferrando, A.; Briola, D.; Menghi, C.; and Ahlbrecht, T.\n\n\n \n\n\n\n Journal of Sensor and Actuator Networks, 10(3). 2021.\n \n\n\n\n
\n\n\n\n \n \n \"SpecialPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@Article{areaeditorial,\nAUTHOR = {Cardoso, Rafael C. and Ferrando, Angelo and Briola, Daniela and Menghi, Claudio and Ahlbrecht, Tobias},\nTITLE = {Special Issue: Agents and Robots for Reliable Engineered Autonomy},\nJOURNAL = {Journal of Sensor and Actuator Networks},\nVOLUME = {10},\nYEAR = {2021},\nNUMBER = {3},\nARTICLE-NUMBER = {47},\nURL = {https://www.mdpi.com/2224-2708/10/3/47},\nISSN = {2224-2708},\nABSTRACT = {The study of autonomous agents is a well-established area that has been researched for decades, both from a design and implementation viewpoint [...]},\nDOI = {10.3390/jsan10030047}\n}\n\n
\n
\n\n\n
\n The study of autonomous agents is a well-established area that has been researched for decades, both from a design and implementation viewpoint [...]\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Partial Monitoring: It is Always too Soon to Give Up.\n \n \n \n\n\n \n Ferrando, A.; and Cardoso, R. C.\n\n\n \n\n\n\n In Farrell, M.; and Luckcuck, M., editor(s), m̊ Proceedings Third Workshop on Formal Methods for Autonomous Systems, m̊ Virtual, 21st-22nd of October 2021, volume 348, of Electronic Proceedings in Theoretical Computer Science, pages 38-53, 2021. Open Publishing Association\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{FerrandoFMAS,\n  author    = {Ferrando, Angelo and Cardoso, Rafael C.},\n  year      = {2021},\n  title     = {Towards Partial Monitoring: It is Always too Soon to Give Up},\n  editor    = {Farrell, Marie and Luckcuck, Matt},\n  booktitle = {{\\rm Proceedings Third Workshop on}\n               Formal Methods for Autonomous Systems,\n               {\\rm Virtual, 21st-22nd of October 2021}},\n  series    = {Electronic Proceedings in Theoretical Computer Science},\n  volume    = {348},\n  publisher = {Open Publishing Association},\n  pages     = {38-53},\n  doi       = {10.4204/EPTCS.348.3},\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest.\n \n \n \n\n\n \n Cardoso, R. C.; Ferrando, A.; Papacchini, F.; Luckcuck, M.; Linker, S.; and Payne, T. R.\n\n\n \n\n\n\n In Ahlbrecht, T.; Dix, J.; Fiekas, N.; and Krausburg, T., editor(s), The Multi-Agent Programming Contest 2021, pages 82–107, Cham, 2021. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Cardoso21f,\nauthor="Cardoso, Rafael C.\nand Ferrando, Angelo\nand Papacchini, Fabio\nand Luckcuck, Matt\nand Linker, Sven\nand Payne, Terry R.",\neditor="Ahlbrecht, Tobias\nand Dix, J{\\"u}rgen\nand Fiekas, Niklas\nand Krausburg, Tabajara",\ntitle="MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest",\nbooktitle="The Multi-Agent Programming Contest 2021",\nyear="2021",\npublisher="Springer International Publishing",\naddress="Cham",\npages="82--107",\nabstract="In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used in the contest is an extension of the previous edition (14th) ``Agents Assemble'' wherein two teams of agents move around a 2D grid and compete to assemble complex block structures. We discuss the languages and tools used during the development of our team. Then, we summarise the main strategies that were carried over from our previous participation in the 14th edition and list the limitations (if any) of using these strategies in the latest contest edition. We also developed new strategies that were made specifically for the extended scenario: cartography (determining the size of the map); formal verification of the map merging protocol (to provide assurances that it works when increasing the number of agents); plan cache (efficiently scaling the number of planners); task achievement (forming groups of agents to achieve tasks); and bullies (agents that focus on stopping agents from the opposing team). Finally, we give a brief overview of our performance in the contest and discuss what we believe were our shortcomings.",\nisbn="978-3-030-88549-6",\ndoi="10.1007/978-3-030-88549-6_4"\n}\n\n\n
\n
\n\n\n
\n In this paper, we describe the strategies used by our team, MLFC, that led us to achieve the 2nd place in the 15th edition of the Multi-Agent Programming Contest. The scenario used in the contest is an extension of the previous edition (14th) ``Agents Assemble'' wherein two teams of agents move around a 2D grid and compete to assemble complex block structures. We discuss the languages and tools used during the development of our team. Then, we summarise the main strategies that were carried over from our previous participation in the 14th edition and list the limitations (if any) of using these strategies in the latest contest edition. We also developed new strategies that were made specifically for the extended scenario: cartography (determining the size of the map); formal verification of the map merging protocol (to provide assurances that it works when increasing the number of agents); plan cache (efficiently scaling the number of planners); task achievement (forming groups of agents to achieve tasks); and bullies (agents that focus on stopping agents from the opposing team). Finally, we give a brief overview of our performance in the contest and discuss what we believe were our shortcomings.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (10)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Plan Library Reconfigurability in BDI Agents.\n \n \n \n\n\n \n Cardoso, R. C.; Dennis, L. A.; and Fisher, M.\n\n\n \n\n\n\n In Dennis, L. A.; Bordini, R. H.; and Lespérance, Y., editor(s), Engineering Multi-Agent Systems, pages 195–212, Cham, 2020. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso19EMAS,\nauthor="Cardoso, Rafael C.\nand Dennis, Louise A.\nand Fisher, Michael",\neditor="Dennis, Louise A.\nand Bordini, Rafael H.\nand Lesp{\\'e}rance, Yves",\ntitle="Plan Library Reconfigurability in BDI Agents",\nbooktitle="Engineering Multi-Agent Systems",\nyear="2020",\npublisher="Springer International Publishing",\naddress="Cham",\npages="195--212",\nabstract="One of the major advantages of modular architectures in robotic systems is the ability to add or replace nodes, without needing to rearrange the whole system. In this type of system, autonomous agents can aid in the decision making and high-level control of the robot. For example, a robot may have a module for each of the effectors and sensors that it has and an agent with a plan library containing high-level plans to aid in the decision making within these modules. However, when autonomously replacing a node it can be difficult to reconfigure plans in the agent's plan library while retaining correctness. In this paper, we exploit the formal concept of capabilities in Belief-Desire-Intention agents and describe how agents can reason about these capabilities in order to reconfigure their plan library while retaining overall correctness constraints. To validate our approach, we show the implementation of our framework and an experiment using a practical example in the Mars rover scenario.",\nisbn="978-3-030-51417-4",\ndoi="10.1007/978-3-030-51417-4_10"\n}\n\n
\n
\n\n\n
\n One of the major advantages of modular architectures in robotic systems is the ability to add or replace nodes, without needing to rearrange the whole system. In this type of system, autonomous agents can aid in the decision making and high-level control of the robot. For example, a robot may have a module for each of the effectors and sensors that it has and an agent with a plan library containing high-level plans to aid in the decision making within these modules. However, when autonomously replacing a node it can be difficult to reconfigure plans in the agent's plan library while retaining correctness. In this paper, we exploit the formal concept of capabilities in Belief-Desire-Intention agents and describe how agents can reason about these capabilities in order to reconfigure their plan library while retaining overall correctness constraints. To validate our approach, we show the implementation of our framework and an experiment using a practical example in the Mars rover scenario.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n An Interface for Programming Verifiable Autonomous Agents in ROS.\n \n \n \n\n\n \n Cardoso, R. C.; Ferrando, A.; Dennis, L. A.; and Fisher, M.\n\n\n \n\n\n\n In Bassiliades, N.; Chalkiadakis, G.; and de Jonge, D., editor(s), Multi-Agent Systems and Agreement Technologies, pages 191–205, Cham, 2020. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso20b,\n  author="Cardoso, Rafael C.\nand Ferrando, Angelo\nand Dennis, Louise A.\nand Fisher, Michael",\neditor="Bassiliades, Nick\nand Chalkiadakis, Georgios\nand de Jonge, Dave",\ntitle="An Interface for Programming Verifiable Autonomous Agents in ROS",\nbooktitle="Multi-Agent Systems and Agreement Technologies",\nyear="2020",\npublisher="Springer International Publishing",\naddress="Cham",\npages="191--205",\nabstract="Autonomy has been one of the most desirable features for robotic applications in recent years. This is evidenced by a recent surge of research in autonomous driving cars, strong government funding for research in robotics for extreme environments, and overall progress in service robots. Autonomous decision-making is often at the core of these systems, thus, it is important to be able to verify and validate properties that relate to the correct behaviour that is expected of the system. Our main contribution in this paper, is an interface for integrating BDI-based agents into robotic systems developed using ROS. We use the Gwendolen language to program our BDI agents and to make use of the AJPF model checker in order to verify properties related to the decision-making in the agent programs. Our case studies include 3D simulations using a simple autonomous patrolling behaviour of a TurtleBot, and multiple TurtleBots servicing a house that can cooperate with each other in case of failure.",\nisbn="978-3-030-66412-1",\ndoi="10.1007/978-3-030-66412-1_13"\n}\n\n
\n
\n\n\n
\n Autonomy has been one of the most desirable features for robotic applications in recent years. This is evidenced by a recent surge of research in autonomous driving cars, strong government funding for research in robotics for extreme environments, and overall progress in service robots. Autonomous decision-making is often at the core of these systems, thus, it is important to be able to verify and validate properties that relate to the correct behaviour that is expected of the system. Our main contribution in this paper, is an interface for integrating BDI-based agents into robotic systems developed using ROS. We use the Gwendolen language to program our BDI agents and to make use of the AJPF model checker in order to verify properties related to the decision-making in the agent programs. Our case studies include 3D simulations using a simple autonomous patrolling behaviour of a TurtleBot, and multiple TurtleBots servicing a house that can cooperate with each other in case of failure.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Heterogeneous Verification of an Autonomous Curiosity Rover.\n \n \n \n\n\n \n Cardoso, R. C.; Farrell, M.; Luckcuck, M.; Ferrando, A.; and Fisher, M.\n\n\n \n\n\n\n In Lee, R.; Jha, S.; Mavridou, A.; and Giannakopoulou, D., editor(s), NASA Formal Methods, pages 353–360, Cham, 2020. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso20a,\nauthor="Cardoso, Rafael C.\nand Farrell, Marie\nand Luckcuck, Matt\nand Ferrando, Angelo\nand Fisher, Michael",\neditor="Lee, Ritchie\nand Jha, Susmit\nand Mavridou, Anastasia\nand Giannakopoulou, Dimitra",\ntitle="Heterogeneous Verification of an Autonomous Curiosity Rover",\nbooktitle="NASA Formal Methods",\nyear="2020",\npublisher="Springer International Publishing",\naddress="Cham",\npages="353--360",\nabstract="The Curiosity rover is one of the most complex systems successfully deployed in a planetary exploration mission to date. It was sent by NASA to explore the surface of Mars and to identify potential signs of life. Even though it has limited autonomy on-board, most of its decisions are made by the ground control team. This hinders the speed at which the Curiosity reacts to its environment, due to the communication delays between Earth and Mars. Depending on the orbital position of both planets, it can take 4--24 min for a message to be transmitted between Earth and Mars. If the Curiosity were controlled autonomously, it would be able to perform its activities much faster and more flexibly. However, one of the major barriers to increased use of autonomy in such scenarios is the lack of assurances that the autonomous behaviour will work as expected. In this paper, we use a Robot Operating System (ROS) model of the Curiosity that is simulated in Gazebo and add an autonomous agent that is responsible for high-level decision-making. Then, we use a mixture of formal and non-formal techniques to verify the distinct system components (ROS nodes). This use of heterogeneous verification techniques is essential to provide guarantees about the nodes at different abstraction levels, and allows us to bring together relevant verification evidence to provide overall assurance.",\nisbn="978-3-030-55754-6",\ndoi="10.1007/978-3-030-55754-6_20"\n}\n\n
\n
\n\n\n
\n The Curiosity rover is one of the most complex systems successfully deployed in a planetary exploration mission to date. It was sent by NASA to explore the surface of Mars and to identify potential signs of life. Even though it has limited autonomy on-board, most of its decisions are made by the ground control team. This hinders the speed at which the Curiosity reacts to its environment, due to the communication delays between Earth and Mars. Depending on the orbital position of both planets, it can take 4–24 min for a message to be transmitted between Earth and Mars. If the Curiosity were controlled autonomously, it would be able to perform its activities much faster and more flexibly. However, one of the major barriers to increased use of autonomy in such scenarios is the lack of assurances that the autonomous behaviour will work as expected. In this paper, we use a Robot Operating System (ROS) model of the Curiosity that is simulated in Gazebo and add an autonomous agent that is responsible for high-level decision-making. Then, we use a mixture of formal and non-formal techniques to verify the distinct system components (ROS nodes). This use of heterogeneous verification techniques is essential to provide guarantees about the nodes at different abstraction levels, and allows us to bring together relevant verification evidence to provide overall assurance.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n ROSMonitoring: A Runtime Verification Framework for ROS.\n \n \n \n\n\n \n Ferrando, A.; Cardoso, R. C.; Fisher, M.; Ancona, D.; Franceschini, L.; and Mascardi, V.\n\n\n \n\n\n\n In Towards Autonomous Robotic Systems, pages 387–399, Cham, 2020. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 15 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Ferrando20a,\nauthor="Ferrando, Angelo\nand Cardoso, Rafael C.\nand Fisher, Michael\nand Ancona, Davide\nand Franceschini, Luca\nand Mascardi, Viviana",\ntitle="ROSMonitoring: A Runtime Verification Framework for ROS",\nbooktitle="Towards Autonomous Robotic Systems",\nyear="2020",\npublisher="Springer International Publishing",\naddress="Cham",\npages="387--399",\ndoi="10.1007/978-3-030-63486-5_40",\nisbn="978-3-030-63486-5"\n}\n\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Verification and Validation for Space Robotics.\n \n \n \n\n\n \n Cardoso, R. C.; Farrell, M.; Kourtis, G.; Webster, M.; Dennis, L. A.; Dixon, C.; Fisher, M.; and Lisitsa, A.\n\n\n \n\n\n\n 2020.\n Poster presented at the Opportunities and Challenges in Space Robotics Workshop held with ICRA 2020.\n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@unpublished{Cardoso20c,\n  author    = {Cardoso, R. C. and Farrell, M. and Kourtis, G. and Webster, M. and Dennis, L. A. and Dixon, C. and Fisher, M. and Lisitsa, A.},\n  title     = {Verification and Validation for Space Robotics},\n  year      = {2020},\n  note = {Poster presented at the Opportunities and Challenges in Space Robotics Workshop held with ICRA 2020.}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest.\n \n \n \n\n\n \n Cardoso, R. C.; Ferrando, A.; and Papacchini, F.\n\n\n \n\n\n\n In The Multi-Agent Programming Contest 2019, pages 31–58, Cham, 2020. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Cardoso20d,\nauthor="Cardoso, Rafael C.\nand Ferrando, Angelo\nand Papacchini, Fabio",\ntitle="LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest",\nbooktitle="The Multi-Agent Programming Contest 2019",\nyear="2020",\npublisher="Springer International Publishing",\naddress="Cham",\npages="31--58",\nisbn="978-3-030-59299-8",\ndoi={10.1007/978-3-030-59299-8_2}\n}\n\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Adaptable and Verifiable BDI Reasoning.\n \n \n \n\n\n \n Stringer, P.; Cardoso, R. C.; Huang, X.; and Dennis, L. A.\n\n\n \n\n\n\n In Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, Virtual event, 4th September 2020, volume 319, of Electronic Proceedings in Theoretical Computer Science, pages 117-125, 2020. Open Publishing Association\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@Inproceedings{Stringer20a,\n  author    = {Stringer, Peter and Cardoso, Rafael C. and Huang, Xiaowei and Dennis, Louise A.},\n  year      = {2020},\n  title     = {Adaptable and Verifiable BDI Reasoning},\n  booktitle = {Proceedings of the First Workshop on\n               Agents and Robots for reliable Engineered Autonomy,\n                Virtual event, 4th September 2020},\n  series    = {Electronic Proceedings in Theoretical Computer Science},\n  volume    = {319},\n  publisher = {Open Publishing Association},\n  pages     = {117-125},\n  doi       = {10.4204/EPTCS.319.9}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Compositional Verification for Modular Robotic Systems.\n \n \n \n\n\n \n Cardoso, R. C.; Dennis, L. A.; Farrell, M.; Fisher, M.; and Luckcuck, M.\n\n\n \n\n\n\n In Proceedings Second Workshop on Formal Methods for Autonomous Systems, Virtual, 7th of December 2020, volume 329, of Electronic Proceedings in Theoretical Computer Science, pages 15-22, 2020. Open Publishing Association\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Cardoso20e,\n  author    = {Cardoso, Rafael C. and Dennis, Louise A. and Farrell, Marie and Fisher, Michael and Luckcuck, Matt},\n  year      = {2020},\n  title     = {Towards Compositional Verification for Modular Robotic Systems},\n  booktitle = {Proceedings Second Workshop on\n               Formal Methods for Autonomous Systems,\n               Virtual, 7th of December 2020},\n  series    = {Electronic Proceedings in Theoretical Computer Science},\n  volume    = {329},\n  publisher = {Open Publishing Association},\n  pages     = {15-22},\n  doi       = {10.4204/EPTCS.329.2}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Runtime Verification of the ARIAC competition: Can a robot be Agile and Safe at the same time?.\n \n \n \n\n\n \n Ferrando, A.; Kootbally, Z.; Piliptchak, P.; Cardoso, R. C.; Schlenoff, C.; and Fisher, M.\n\n\n \n\n\n\n In AIRO, 2020. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{FerrandoAIRO,\nauthor="Ferrando, Angelo\nand Kootbally, Zeid\nand Piliptchak, Pavel\nand Cardoso, Rafael C.\nand Schlenoff, Craig\nand Fisher, Michael",\ntitle="Runtime Verification of the ARIAC competition: Can a robot be Agile and Safe at the same time?",\nbooktitle="AIRO",\nyear="2020"\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Ethical Governor Systems viewed as a Multi-Agent Problem.\n \n \n \n\n\n \n Cardoso, R. C.; Ene, D.; Evans, T.; and Dennis, L. A.\n\n\n \n\n\n\n In Nallur, V., editor(s), Second Workshop on Implementing Machine Ethics, June 2020. Zenodo\n \n\n\n\n
\n\n\n\n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{cardosoime,\n  author = {Rafael C. Cardoso and Daniel Ene and Tom Evans and Louise A. Dennis},\n  title = {Ethical Governor Systems viewed as a Multi-Agent Problem},\n  editor       = {Vivek Nallur},\n  booktitle        = {Second Workshop on Implementing Machine Ethics},\n  month        = jun,\n  year         = {2020},\n  publisher    = {Zenodo},\n  doi          = {10.5281/zenodo.3938851}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Decentralised Planning for Multi-Agent Programming Platforms.\n \n \n \n\n\n \n Cardoso, R. C.; and Bordini, R. H.\n\n\n \n\n\n\n In Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, of AAMAS '19, pages 799–807, Richland, SC, 2019. International Foundation for Autonomous Agents and Multiagent Systems\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n \n \n \n \n \n \n \n \n\n\n\n
\n 
@inproceedings{Cardoso19AAMAS,\nauthor = {Cardoso, Rafael C. and Bordini, Rafael H.},\ntitle = {Decentralised Planning for Multi-Agent Programming Platforms},\nyear = {2019},\nisbn = {9781450363099},\npublisher = {International Foundation for Autonomous Agents and Multiagent Systems},\naddress = {Richland, SC},\nbooktitle = {Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems},\npages = {799–807},\nnumpages = {9},\nkeywords = {multi-agent development platforms, multi-agent planning, hierarchical task network, goal allocation},\nlocation = {Montreal QC, Canada},\nseries = {AAMAS '19}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Modular Verification of Autonomous Space Robotics.\n \n \n \n\n\n \n Farrell, M.; Cardoso, R.; Dennis, L.; Dixon, C.; Fisher, M.; Kourtis, G.; Lisitsa, A.; Luckcuck, M.; and Webster, M\n\n\n \n\n\n\n In Assurance of Autonomy for Robotic Space Missions Workshop, 2019. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso19Space,\n  author    = {Farrell, M. and Cardoso, R. and Dennis, L. and Dixon, C. and Fisher, M. and Kourtis, G. and Lisitsa, A. and Luckcuck, M. and Webster, M},\n  title     = {Modular Verification of Autonomous Space Robotics},\n  booktitle = {Assurance of Autonomy for Robotic Space Missions Workshop},\n  year      = {2019}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n SMART–JaCaMo: An Organisation-Based Team for the Multi-Agent Programming Contest.\n \n \n \n\n\n \n Krausburg, T.; Cardoso, R. C.; Damasio, J.; Peres, V.; Farias, G. P.; Engelmann, D. C.; Hübner, J. F.; and Bordini, R. H.\n\n\n \n\n\n\n In Ahlbrecht, T.; Dix, J.; and Fiekas, N., editor(s), The Multi-Agent Programming Contest 2018, pages 72–100, Cham, 2019. Springer International Publishing\n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@InProceedings{Tabajara19,\nauthor="Krausburg, Tabajara\nand Cardoso, Rafael C.\nand Damasio, Juliana\nand Peres, Vitor\nand Farias, Giovani P.\nand Engelmann, Débora Cristina\nand Hübner, Jomi Fred\nand Bordini, Rafael H.",\neditor="Ahlbrecht, Tobias\nand Dix, Jürgen\nand Fiekas, Niklas",\ntitle="SMART--JaCaMo: An Organisation-Based Team for the Multi-Agent Programming Contest",\nbooktitle="The Multi-Agent Programming Contest 2018",\nyear="2019",\npublisher="Springer International Publishing",\naddress="Cham",\npages="72--100",\nabstract="The Multi-Agent Programming Contest in 2018 expanded upon the Agents in the City scenario used in the 2016 and 2017 editions of the contest. In this scenario two teams compete to score points by building and attacking wells using realistic city maps from OpenStreetMap. Wells are the main addition to the new version of the scenario; they cost money to build and generate score overtime but can be dismantled by agents from the other team. This, along with other additions, made it a significantly more complex scenario than before. In this paper, we describe the strategies used by our team, highlighting our adaptations and new additions from our participation in the previous years. We have fully explored the use of all three programming dimensions (agent, environment, and organisation) available in JaCaMo, the multi-agent system development platform that we used to implement our team. Our agents were able to dynamically switch between organisational roles, allowing them to promptly respond to changes in the environment and different opponent strategies. We were the highest-scoring team in the contest and our multi-agent system turned out to be stable and robust in solving the difficult problems posed by the contest scenario.",\nisbn="978-3-030-37959-9"\n}\n\n
\n
\n\n\n
\n The Multi-Agent Programming Contest in 2018 expanded upon the Agents in the City scenario used in the 2016 and 2017 editions of the contest. In this scenario two teams compete to score points by building and attacking wells using realistic city maps from OpenStreetMap. Wells are the main addition to the new version of the scenario; they cost money to build and generate score overtime but can be dismantled by agents from the other team. This, along with other additions, made it a significantly more complex scenario than before. In this paper, we describe the strategies used by our team, highlighting our adaptations and new additions from our participation in the previous years. We have fully explored the use of all three programming dimensions (agent, environment, and organisation) available in JaCaMo, the multi-agent system development platform that we used to implement our team. Our agents were able to dynamically switch between organisational roles, allowing them to promptly respond to changes in the environment and different opponent strategies. We were the highest-scoring team in the contest and our multi-agent system turned out to be stable and robust in solving the difficult problems posed by the contest scenario.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (5)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Team PUCRS: a Decentralised Multi-Agent Solution for the Agents in the City Scenario.\n \n \n \n \n\n\n \n Cardoso, R. C.; Pereira, R. F.; Krzisch, G.; Magnaguagno, M. C.; Baségio, T.; and Meneguzzi, F.\n\n\n \n\n\n\n International Journal of Agent-Oriented Software Engineering, 6(1): 3–34. January 2018.\n \n\n\n\n
\n\n\n\n \n \n \"TeamPaper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Cardoso18a,\n  author =   {Rafael C. Cardoso and Ramon Fraga Pereira and Guilherme Krzisch and Mauricio C. Magnaguagno and T\\'ulio Bas\\'egio and Felipe Meneguzzi},\n  title =    {{Team PUCRS}: a Decentralised Multi-Agent Solution for the Agents in the City Scenario},\n  journal =  {International Journal of Agent-Oriented Software Engineering},\n  volume={6}, \n  number={1},\n  month = jan,\n  year =     {2018},\n  doi={10.1504/IJAOSE.2018.10010601}, \n  pages =    {3--34},\n  url={https://www.inderscienceonline.com/doi/abs/10.1504/IJAOSE.2018.089595}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n SMART-JaCaMo: an Organization-based Team for the Multi-Agent Programming Contest.\n \n \n \n \n\n\n \n Cardoso, R. C.; Krausburg, T.; Baségio, T.; Engelmann, D. C.; Hübner, J. F.; and Bordini, R. H.\n\n\n \n\n\n\n Annals of Mathematics and Artificial Intelligence, 84(1): 75–93. Oct 2018.\n \n\n\n\n
\n\n\n\n \n \n \"SMART-JaCaMo:Paper\n  \n \n\n \n \n doi\n  \n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Cardoso18b,\n\tauthor = {Rafael C. Cardoso and Tabajara Krausburg and T\\'ulio Bas\\'egio and D\\'ebora C. Engelmann and Jomi F. H\\"{u}bner and Rafael H. Bordini},\n  title =    {{SMART-JaCaMo}: an Organization-based Team for the Multi-Agent Programming Contest},\n  journal =  {Annals of Mathematics and Artificial Intelligence},\nmonth="Oct",\nday="01",\nvolume="84",\nnumber="1",\npages="75--93",\n  year =     {2018},\ndoi="10.1007/s10472-018-9584-z",\nurl="https://doi.org/10.1007/s10472-018-9584-z"\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Validation of Hierarchical Plans via Parsing of Attribute Grammars.\n \n \n \n \n\n\n \n Barták, R.; Maillard, A.; and Cardoso, R. C.\n\n\n \n\n\n\n In Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition, pages 593–600, New Orleans, USA, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"ValidationPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{PAIR18,\n\tauthor = {Roman Barták and Adrien Maillard and Rafael C. Cardoso},\n\ttitle = {Validation of Hierarchical Plans via Parsing of Attribute Grammars},\n\tbooktitle = {Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition},\n\tpages     = {593--600},\n\taddress = {New Orleans, USA},\n\tyear = {2018},\n\turl={https://aaai.org/ocs/index.php/WS/AAAIW18/paper/view/17004}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Validation of Hierarchical Plans via Parsing of Attribute Grammars.\n \n \n \n \n\n\n \n Barták, R.; Maillard, A.; and Cardoso, R. C.\n\n\n \n\n\n\n In Proceedings of the AAAI 2018 Spring Symposium on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy, pages 482–489, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"ValidationPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{SIRLE18,\n\tauthor = {Roman Barták and Adrien Maillard and Rafael C. Cardoso},\n\ttitle = {Validation of Hierarchical Plans via Parsing of Attribute Grammars},\n\tbooktitle = {Proceedings of the AAAI 2018 Spring Symposium on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy},\n\tpages     = {482--489},\n\tyear = {2018},\n \turl = {https://aaai.org/ocs/index.php/SSS/SSS18/paper/view/17523}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Validation of Hierarchical Plans via Parsing of Attribute Grammars.\n \n \n \n \n\n\n \n Barták, R.; Maillard, A.; and Cardoso, R. C.\n\n\n \n\n\n\n In Proceedings of the Twenty-Eight International Conference on Automated Planning and Scheduling, pages 11–19, Delft, The Netherlands, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"ValidationPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{ICAPS18,\n\tauthor = {Roman Barták and Adrien Maillard and Rafael C. Cardoso},\n\ttitle = {Validation of Hierarchical Plans via Parsing of Attribute Grammars},\n\tbooktitle = {Proceedings of the Twenty-Eight International Conference on Automated Planning and Scheduling},\n\tpages     = {11--19},\n\taddress = {Delft, The Netherlands},\n\tyear = {2018},\n  \turl = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17748}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2017\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Modular Framework for Decentralised Multi-Agent Planning.\n \n \n \n \n\n\n \n Cardoso, R. C.; and Bordini, R. H.\n\n\n \n\n\n\n In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, pages 1487–1489, São Paulo, Brazil, 2017. \n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso17a,\n\tauthor = {Rafael C. Cardoso and Rafael H. Bordini},\n\ttitle = {A Modular Framework for Decentralised Multi-Agent Planning},\n\tbooktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems},\n\taddress = {São Paulo, Brazil},\n    pages = {1487--1489},\n\tyear = {2017},\n\turl={http://www.ifaamas.org/Proceedings/aamas2017/pdfs/p1487.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Multi-Agent Extension of a Hierarchical Task Network Planning Formalism.\n \n \n \n \n\n\n \n Cardoso, R. C.; and Bordini, R. H.\n\n\n \n\n\n\n Advances in Distributed Computing and Artificial Intelligence Journal, 6(2): 5–17. May 2017.\n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@article{Cardoso17b,\n\tauthor = {Rafael C. Cardoso and Rafael H. Bordini},\n\ttitle = {A Multi-Agent Extension of a Hierarchical Task Network Planning Formalism},\njournal = {Advances in Distributed Computing and Artificial Intelligence Journal},\n\tvolume = {6},\n\tnumber = {2},\n\tmonth = may,\n\tyear = {2017},\n\tpages = {5--17},\n\tissn = {2255-2863},\n\turl={http://revistas.usal.es/index.php/2255-2863/article/view/ADCAIJ201762517}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2016\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n A Distributed Online Multi-Agent Planning System.\n \n \n \n \n\n\n \n Cardoso, R. C.; and Bordini, R. H.\n\n\n \n\n\n\n In 4th Workshop on Distributed and Multi-Agent Planning, pages 15–23, London, United Kingdom, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso16a,\n\tauthor    = {Rafael C. Cardoso and Rafael H. Bordini},\n\ttitle     = {A Distributed Online Multi-Agent Planning System},\n\tbooktitle      = {4th Workshop on Distributed and Multi-Agent Planning},\n\taddress = {London, United Kingdom},\n\tpages = {15--23},\n\tyear = {2016},\n  url={https://smart-pucrs.github.io/publications/pdf/DOMAPS-DMAP16.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Multi-Agent Extension of Hierarchical Task Network.\n \n \n \n \n\n\n \n Cardoso, R. C.; and Bordini, R. H.\n\n\n \n\n\n\n In 10th Workshop-School on Agents, Environments, and Applications (WESAAC), Maceió, AL, Brazil, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"APaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso16b,\n  author    = {Rafael C. Cardoso and Rafael H. Bordini},\n  title     = {A Multi-Agent Extension of Hierarchical Task Network},\n  booktitle      = {10th Workshop-School on Agents, Environments, and Applications (WESAAC)},\n  address = {Maceió, AL, Brazil},\n  year = {2016},\n  url={https://smart-pucrs.github.io/publications/pdf/MAHTN-WESAAC16.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Allocating Social Goals Using the Contract Net Protocol in Online Multi-Agent Planning.\n \n \n \n \n\n\n \n Cardoso, R. C.; and Bordini, R. H.\n\n\n \n\n\n\n In 5th Brazilian Conference on Intelligent System, pages 199–204, Recife, Pernambuco, Brazil, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"AllocatingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso16c,\n  author    = {Rafael C. Cardoso and Rafael H. Bordini},\n  title     = {Allocating Social Goals Using the Contract Net Protocol in Online Multi-Agent Planning},\n  booktitle      = {5th Brazilian Conference on Intelligent System},\n  address = {Recife, Pernambuco, Brazil},\n  pages={199--204}, \n  year = {2016},\n  url={http://ieeexplore.ieee.org/document/7839586/}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Limitations and Divergences in Approaches for Agent-Oriented Modelling and Programming.\n \n \n \n \n\n\n \n Freitas, A.; Cardoso, R. C.; Vieira, R.; and Bordini, R. H.\n\n\n \n\n\n\n In Workshop on Engineering Multi-Agent Systems (EMAS-16), pages 88–103, Singapore, 2016. \n \n\n\n\n
\n\n\n\n \n \n \"LimitationsPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Freitas16a,\n  author    = {Artur Freitas and Rafael C. Cardoso and Renata Vieira and Rafael H. Bordini},\n  title     = {Limitations and Divergences in Approaches for Agent-Oriented Modelling and Programming},\n  booktitle      = {Workshop on Engineering Multi-Agent Systems (EMAS-16)},\n  address = {Singapore},\n  year = {2016},\n  pages = {88--103},\n  url = {https://smart-pucrs.github.io/publications/pdf/Modelling-EMAS2016.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Combining off-line Multi-Agent Planning with a Multi-Agent System Development Framework.\n \n \n \n \n\n\n \n Cardoso, R. C.; and Bordini, R. H.\n\n\n \n\n\n\n In 3rd Workshop on Distributed and Multi-Agent Planning (DMAP-15), Jerusalem, Israel, 2015. \n \n\n\n\n
\n\n\n\n \n \n \"CombiningPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso15,\n  author    = {Rafael C. Cardoso and Rafael H. Bordini},\n  title     = {Combining off-line Multi-Agent Planning with a Multi-Agent System Development Framework},\n  booktitle      = {3rd Workshop on Distributed and Multi-Agent Planning (DMAP-15)},\n  address = {Jerusalem, Israel},\n  year = {2015},\n  url={https://smart-pucrs.github.io/publications/pdf/Translations-DMAP15.pdf}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2013\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Benchmarking Communication in Actor- and Agent-Based Languages.\n \n \n \n \n\n\n \n Cardoso, R. C.; Hübner, J. F.; and Bordini, R. H.\n\n\n \n\n\n\n In 12th International Conference on Autonomous Agents and Multiagent Systems, pages 1267–1268, Saint Paul, Minnesota, USA, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"BenchmarkingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso13a,\n  author    = {Cardoso, Rafael C. and Hübner, Jomi F. and Bordini, Rafael H.},\n  title     = {Benchmarking Communication in Actor- and Agent-Based Languages},\n  booktitle = {12th International Conference on Autonomous Agents and Multiagent Systems},\n  pages = {1267--1268},\n  year      = {2013},\n  address = {Saint Paul, Minnesota, USA},\n  url={http://dl.acm.org/citation.cfm?id=2485176}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Benchmarking Communication in Agent- and Actor-Based Languages.\n \n \n \n \n\n\n \n Cardoso, R. C.; Hübner, J. F.; and Bordini, R. H.\n\n\n \n\n\n\n In Engineering Multi-Agent Systems, pages 81–96, Saint Paul, Minnesota, USA, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"BenchmarkingPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso13b,\n author = {Cardoso, Rafael C. and Hübner, Jomi F. and Bordini, Rafael H.},\n title = {Benchmarking Communication in Agent- and Actor-Based Languages},\n booktitle = {Engineering Multi-Agent Systems},\n year = {2013},\n pages = {81--96},\n numpages = {16},\n address = {Saint Paul, Minnesota, USA},\n url={http://link.springer.com/chapter/10.1007%2F978-3-642-45343-4_4}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Towards Benchmarking Actor- and Agent-Based Programming Languages.\n \n \n \n \n\n\n \n Cardoso, R. C.; Zatelli, M. R.; Hübner, J. F.; and Bordini, R. H.\n\n\n \n\n\n\n In Workshop on Programming based on actors, agents, and decentralized control, pages 115–126, Indianapolis, Indiana, USA, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"TowardsPaper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings{Cardoso13c,\n  author    = {Rafael C. Cardoso and Maicon R. Zatelli and Jomi F. Hübner and Rafael H. Bordini},\n  title     = {Towards Benchmarking Actor- and Agent-Based Programming Languages},\n  booktitle = {Workshop on Programming based on actors, agents, and decentralized control},\n  pages = {115--126},\n  year      = {2013},\n address = {Indianapolis, Indiana, USA},\n url={http://dl.acm.org/citation.cfm?id=2541339}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2012\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n Planejamento de Percepcoes e Acoes de Agentes Jason no Robo LEGO Mindstorms NXT 1.0.\n \n \n \n\n\n \n Cardoso, R. C.; and de Oliveira Zamberlan, A.\n\n\n \n\n\n\n In XI Simposio de Informatica da UNIFRA, 2012. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n 
@inproceedings {Cardoso12,\n        title = {Planejamento de Percepcoes e Acoes de Agentes Jason no Robo LEGO Mindstorms NXT 1.0},\n        booktitle = {XI Simposio de Informatica da UNIFRA},\n        year = {2012},\n        author = {Rafael C. Cardoso and Alexandre de Oliveira Zamberlan}\n}\n\n
\n
\n\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);