Browse by People

Stringer, Peter ORCID: 0000-0002-8760-4717, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Huang, Xiaowei ORCID: 0000-0001-6267-0366 and Dennis, Louise A ORCID: 0000-0003-1426-1896 (2020) Adaptable and Verifiable BDI Reasoning*. In: Agents and Robots for Reliable Engineered Autonomy.

Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Briola, Daniela, Menghi, Claudio and Ahlbrecht, Tobias (2021) Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020. JOURNAL OF SENSOR AND ACTUATOR NETWORKS, 10 (2). p. 33.

Ferrando, Angelo ORCID: 0000-0002-8711-4670, Cardoso, Rafael C, Farrell, Marie, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Papacchini, Fabio, Fisher, Michael and Mascardi, Viviana (2021) Bridging the gap between single- and multi-model predictive runtime verification. FORMAL METHODS IN SYSTEM DESIGN, 59 (1-3). pp. 44-76.

Cardoso, Rafael C ORCID: 0000-0001-6666-6954 and Bordini, Rafael H (2019) Decentralised Planning for Multi-Agent Programming Platforms. In: International Conference on Autonomous Agents and Multiagent Systems, 2019-5-13 - 2019-5-17, Montreal, Canada.

Cardoso, Rafael C, Ferrando, Angelo and Fisher, Michael (2022) Extending Attack-Fault Trees with Runtime Verification. .

Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Cardoso, Rafael C ORCID: 0000-0001-6666-6954 (2022) Formal Verification of a Map Merging Protocol in the Multi-agent Programming Contest. ENGINEERING MULTI-AGENT SYSTEMS, 13190. pp. 198-217.

Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Ferrando, Angelo ORCID: 0000-0002-8711-4670 and Papacchini, Fabio ORCID: 0000-0002-0310-7378 (2020) LFC: Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. In: Multi-Agent Programming Contest, MAPC 2019.

Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Papacchini, Fabio ORCID: 0000-0002-0310-7378, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Linker, Sven ORCID: 0000-0003-2913-7943 and Payne, Terry R ORCID: 0000-0002-0106-8731 (2021) MLFC: From 10 to 50 Planners in the Multi-Agent Programming Contest. In: The Multi-Agent Programming Contest 2021. Springer International Publishing, pp. 82-107. ISBN 9783030885489

MacConville, Dara, Farrell, Marie, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Monahan, Rosemary (2022) Modelling the Turtle Python library in CSP. .

Farrell, Marie ORCID: 0000-0001-7708-3877, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Fisher, Michael, Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Webster, Matt ORCID: 0000-0002-8817-6881 (2019) Modular Verification of Autonomous Space Robotics. In: IEEE International Conference on Space Mission Challenges for Information, 2019-7-30 - 2019-8-1, Pasadena, California, USA.

Collapse authors list.
Fisher, Michael, Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Collins, Emily C ORCID: 0000-0001-9396-536X, Dadswell, Christopher, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533, Farrell, Marie ORCID: 0000-0001-7708-3877, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Jump, Mike ORCID: 0000-0002-1028-2334 et al (show 7 more authors) , Kourtis, Georgios, Lisitsa, Alexei, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Luo, Shan ORCID: 0000-0003-4760-0372, Page, Vincent, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Webster, Matt ORCID: 0000-0002-8817-6881 (2021) An Overview of Verification and Validation Challenges for Inspection Robots. ROBOTICS, 10 (2). p. 67.

Cardoso, Rafael C ORCID: 0000-0001-6666-6954 and Ferrando, Angelo ORCID: 0000-0002-8711-4670 (2021) A Review of Agent-Based Programming for Multi-Agent Systems. Computers, 10 (2). p. 16.

Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Ferrando, Angelo ORCID: 0000-0002-8711-4670, Briola, Daniela, Menghi, Claudio and Ahlbrecht, Tobias (2021) Special Issue: Agents and Robots for Reliable Engineered Autonomy. JOURNAL OF SENSOR AND ACTUATOR NETWORKS, 10 (3). p. 47.

Cardoso, Rafael C ORCID: 0000-0001-6666-6954, Dennis, Louise A ORCID: 0000-0003-1426-1896, Farrell, Marie ORCID: 0000-0001-7708-3877, Fisher, Michael and Luckcuck, Matt ORCID: 0000-0002-6444-9312 (2020) Towards Compositional Verification for Modular Robotic Systems. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 329 (329). pp. 15-22.