Published November 2023
| Version 1.1.1
Software
Open
Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact)
Creators
- 1. University of Oslo
- 2. ISTI--CNR
- 3. University of Turin
Description
This is the artifact accompanying our paper "Formal Modelling and Analysis of a Self-Adaptive Robotic System" accepted for publication at the 18th International Conference on integrated Formal Methods (iFM).
The artifact contains all the necessary material to run it on the iFM 2023 Artifact Evaluation VM, as well as an extensive README file with instructions on the set-up, replication of the results of the paper, and ideas for extensions.
The code of the artifact, without PRISM and ProFeat, can be found here.
Files
auv_profeat_revised.zip
Files
(12.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b1a18be835600f8baf09f551d1ca9ddf
|
12.9 MB | Preview Download |