Items where Author is "Cardoso, Rafael C."

Journal Article

Farrell, Marie and Bradbury, Matthew and Cardoso, Rafael C. and Fisher, Michael and Dennis, Louise and Dixon, Clare and Sheik, Al Tariq and Yuan, Hu and Maple, Carsten (2024) Security-Minded Verification of Cooperative Awareness Messages. IEEE Transactions on Dependable and Secure Computing, 21 (4). pp. 4048-4065. ISSN 1545-5971

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, Matthew T. (2021) An Overview of Verification and Validation Challenges for Inspection Robots. Robotics, 10 (2): 67. ISSN 2218-6581

Contribution in Book/Report/Proceedings

Cardoso, Rafael C. and Ferrando, Angelo and Papacchini, Fabio and Luckcuck, Matt and Linker, Sven and Payne, Terry R. (2021) MLFC : From 10 to 50 Planners in the Multi-Agent Programming Contest. In: The Multi-Agent Programming Contest 2021 : One-and-a-Half Decades of Exploring Multi-Agent Systems. Lecture Notes in Computer Science . Springer, Cham, pp. 82-107. ISBN 9783030885489

Cardoso, Rafael C. and Ferrando, Angelo and Papacchini, Fabio (2021) Automated Planning and BDI Agents : A Case Study. In: Advances in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection : 19th International Conference, PAAMS 2021, Salamanca, Spain, October 6–8, 2021, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 52-63. ISBN 9783030857387

Cardoso, Rafael C. and Ferrando, Angelo and Papacchini, Fabio (2020) LFC : Combining Autonomous Agents and Automated Planning in the Multi-Agent Programming Contest. In: The Multi-Agent Programming Contest 2019 : Agents Assemble – Block by Block to Victory. Lecture Notes in Computer Science . Springer, Cham, pp. 31-58. ISBN 9783030592981