Items where Author is "Ferrando, Angelo"

Journal Article

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

Ferrando, Angelo and Papacchini, Fabio (2022) StreamB : A Declarative Language for Automatically Processing Data Streams in Abstract Environments for Agent Platforms. In: Engineering Multi-Agent Systems - 9th International Workshop, EMAS 2021, Virtual Event, May 3-4, 2021, Revised Selected Papers :. Lecture Notes in Computer Science . Springer, Cham, pp. 114-136. ISBN 978-3-030-97456-5

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

Zhao, Xingyu and Osborne, Matt and Lantair, Jenny and Robu, Valentin and Flynn, David and Huang, Xiaowei and Fisher, Michael and Papacchini, Fabio and Ferrando, Angelo (2019) Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings :. UNSPECIFIED.