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