Requirements

Python3.7+; Ubuntu 16.04, 20.04 and MacOS.

Source

Download or clone this repo:

git clone --branch CAV_artifact https://gitlab.engr.illinois.edu/sibai2/multi-drone_simulator.git

Ubuntu 16.04

Install dependencies:

sh installRequirement.ubuntu16.sh

Add the SceneChecker folder to python path:

export PYTHONPATH=$(pwd):$PYTHONPATH

Run examples:

python3.7 src/VerificationScenario.py examples/scenarios_cav/c_s1_dr.json

Ubuntu 20.04

Install dependencies:

sh installRequirement.ubuntu20.sh

Add the SceneChecker folder to python path:

export PYTHONPATH=$(pwd):$PYTHONPATH

Run examples:

python3 src/VerificationScenario.py examples/scenarios_cav/c_s1_dr.json

MacOS

Install dependencies:

sh installRequirement.macos.sh

Add the SceneChecker folder to python path:

export PYTHONPATH=$(pwd):$PYTHONPATH

Run examples:

python3 src/VerificationScenario.py examples/scenarios_cav/c_s1_dr.json

Experiments with Flow* as reachability subroutine are not yet supported on MacOS.

Run SceneChecker through VirtualMachine

Virtual machine for CAV 2021 repeatability package can be found in Google drive or Figshare. The instructions to run experiments in the CAV submission in the virtual machine can be found here.