MURAL - Maynooth University Research Archive Library



    Formal Specification and Verification of Autonomous Robotic Systems: A Survey


    Luckcuck, Matt and Farrell, Marie and Dennis, Louise A. and Dixon, Clare and Fisher, Michael (2019) Formal Specification and Verification of Autonomous Robotic Systems: A Survey. ACM Computing Surveys, 52 (5). pp. 1-41. ISSN 0360-0300

    [img]
    Preview
    Download (613kB) | Preview


    Share your research

    Twitter Facebook LinkedIn GooglePlus Email more...



    Add this article to your Mendeley library


    Abstract

    Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their formal specification and verification uniquely challenging. Though commonly used, testing and simulation alone are insufficient to ensure the correctness of, or provide sufficient evidence for the certification of, autonomous robotics. Formal methods for autonomous robotics have received some attention in the literature, but no resource provides a current overview. This article systematically surveys the state of the art in formal specification and verification for autonomous robotics. Specially, it identifies and categorizes the challenges posed by, the formalisms aimed at, and the formal approaches for the specification and verification of autonomous robotics.

    Item Type: Article
    Keywords: Formal verification; formal specification; autonomous robotics; formal methods;
    Academic Unit: Faculty of Science and Engineering > Computer Science
    Item ID: 15092
    Identification Number: https://doi.org/10.1145/3342355
    Depositing User: Marie Farrell
    Date Deposited: 06 Dec 2021 14:55
    Journal or Publication Title: ACM Computing Surveys
    Publisher: Association for Computing Machinery (ACM)
    Refereed: Yes
    URI:
    Use Licence: This item is available under a Creative Commons Attribution Non Commercial Share Alike Licence (CC BY-NC-SA). Details of this licence are available here

    Repository Staff Only(login required)

    View Item Item control page

    Downloads

    Downloads per month over past year

    Origin of downloads