System-level Simulation-based Verification of Autonomous Driving Systems with the VIVAS Framework and CARLA Simulator

Supplementary web page for the submission to https://fmasworkshop.github.io/SpecialIssue2023

Please follow all the instructions provided for FMAS 2023 on:
https://es-static.fbk.eu/people/sgoyal/fmas23/

Once done with the FMAS23 installation, please replace the corresponding files inside the Docker image and Interfuser repository provided on:
https://es-static-lfs.fbk.eu/access/sgoyal/AFMAS24-Artifacts.tar.xz

Update on checking results:

Check the coverage results shown in the paper (saved in the folder /home/srajan/InterFuser/results_vivas/):

python3 results_parse_afmas_goal.py

python3 results_parse_afmas.py