PELAB-LiU
Pinned Loading
Repositories
- MSR_ASV_SceneGeneration Public
Software repository supporting the paper Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of ASVs that was accepted to MODELS26
- SceneGEMS Public Forked from fdominik98/SceneGEMS
Monorepo for automated COLREGS scene generation, simulation orchestration, and the SceneGEMS web console. The Python backend implements the three-level scene pipeline (functional -> logical -> concrete) from the research paper Automated Generation of Functionally Complete Assurance Suites for COLREGS-Compliance of Autonomous Surface Vehicles.
- CRML Public Forked from OpenModelica/CRML
Implementation of the CRML to Modelica compiler supported by the ITEA3 EMBRACE project.
- ModBench Public
A reproducible pipeline and query API for mining Modelica repository history, extracting canonical class-level snapshots, and preserving traceability, with an MSL-based validation dataset as a reference instantiation.
- Text2VQL Public
- ProbabilisticGraphQuery Public
- ASVTestSceneGeneration Public
This project serves as supplementary material for our research paper Automated Scene Generation for Testing COLREGS-Compliance of Autonomous Surface Vehicles.
Top languages
Loading…
Most used topics
Loading…