Up a level |
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.
Luckcuck, Matt ORCID: 0000-0002-6444-9312, Farrell, Marie ORCID: 0000-0001-7708-3877, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533 and Fisher, Michael
(2019)
Formal Specification and Verification of Autonomous Robotic Systems: A Survey.
ACM COMPUTING SURVEYS, 52 (5).
5-.
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 ORCID: 0000-0001-6666-6954, Farrell, Marie ORCID: 0000-0001-7708-3877, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Ferrando, Angelo ORCID: 0000-0002-8711-4670 and Fisher, michael
(2020)
Heterogeneous Verification of an Autonomous Curiosity Rover.
In: 12th International Symposium on NASA Formal Methods, 2020-5-11 - 2020-5-15, Moffett Field, CA, USA.
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.
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)
(2021)
An Overview of Verification and Validation Challenges for Inspection Robots.
ROBOTICS, 10 (2).
p. 67.
Farrell, Marie ORCID: 0000-0001-7708-3877, Luckcuck, Matt ORCID: 0000-0002-6444-9312 and Fisher, Michael
(2018)
Robotics and Integrated Formal Methods: Necessity Meets Opportunity.
In: Integrated Formal Methods, 2018-9-5 - 2018-7-7, Maynooth, Ireland.
Luckcuck, Matt ORCID: 0000-0002-6444-9312, Farrell, Marie ORCID: 0000-0001-7708-3877, Dennis, Louise A ORCID: 0000-0003-1426-1896, Dixon, Clare ORCID: 0000-0002-4610-9533 and Fisher, Michael
(2019)
A Summary of Formal Specification and Verification of Autonomous Robotic Systems.
In: Integrated Formal Methods.
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.
Luckcuck, Matt ORCID: 0000-0002-6444-9312
(2023)
Using formal methods for autonomous systems: Five recipes for formal verification.
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 237 (2).
pp. 278-292.
Fisher, Michael, Collins, Emily ORCID: 0000-0001-9396-536X, Dennis, Louise ORCID: 0000-0003-1426-1896, Luckcuck, Matt ORCID: 0000-0002-6444-9312, Webster, Matt ORCID: 0000-0002-8817-6881, Jump, Mike ORCID: 0000-0002-1028-2334, Page, Vincent, Patchett, Charles, Dinmohammadi, Fateme, Flynn, David et al (show 2 more authors)
(2018)
Verifiable Self-Certifying Autonomous Systems.
In: 2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2018-10-15 - 2018-10-18.