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.