Skip to main navigation Skip to search Skip to main content

Autonomous Robotic Swarms: A Corroborative Approach for Verification and Validation (Models, Datasets and Results)

    Dataset

    Description

    This is a data repository for the research paper, 'A Multi-Level Corroborative Approach for Verification and Validation of Autonomous Robotic Swarms'. It contains models, datasets, processing scripts and results.
    Date made available27 Jun 2024
    PublisherUniversity of Bristol

    Keywords

    • autonomous robotic awarms
    • validation
    • verification
    • simulation
    • model checking
    • testing
    • emergent behaviour

    Cite this