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 available | 27 Jun 2024 |
---|---|
Publisher | University of Bristol |
Keywords
- autonomous robotic awarms
- validation
- verification
- simulation
- model checking
- testing
- emergent behaviour