Measurement Data for Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles - MODELS26

This repository contains measurement data and related artifacts for the paper Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles accepted to MODELS'26. To cite the paper:@inproceedings{Frey2026MSR, author = {Dominik Frey and Ulf Karg\'en and D\'aniel Varr\'o}, title = {Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles}, booktitle = {ACM/IEEE 29th International Conference on Model Driven Engineering Languages and Systems (MODELS)}, year = {2026}, note = {Accepted for publication}}