run_all_drone.sh 1.04 KB
Newer Older
Thom Badings's avatar
Thom Badings committed
1
2
3
4
#!/bin/bash
cd ..;
echo -e "++++++++ RUN DRONE BENCHMARKS ++++++++\n";
## Uniform
Thom Badings's avatar
synch    
Thom Badings committed
5
python3 sampler.py --model models/drone/drone_model.nm  --property models/drone/drone_spec.prctl  --threshold 0.90 --bisimulation none --comparator '("geq","leq")' --num_samples 5000 --num_iter 10 --weather "uniform" --eta '(0.90,0.10)' --beta '(0.9,0.99,0.999,0.9999)' --outfile 'drone_uniform_output';
Thom Badings's avatar
Thom Badings committed
6
## Wind in positive y direction
Thom Badings's avatar
synch    
Thom Badings committed
7
python3 sampler.py --model models/drone/drone_model.nm  --property models/drone/drone_spec.prctl  --threshold 0.90 --bisimulation none --comparator '("geq","leq")' --num_samples 5000 --num_iter 10 --weather "y-pos-bias" --eta '(0.90,0.10)' --beta '(0.9,0.99,0.999,0.9999)' --outfile 'drone_yposbias_output';
Thom Badings's avatar
Thom Badings committed
8
## Wind in negative x direction
Thom Badings's avatar
synch    
Thom Badings committed
9
python3 sampler.py --model models/drone/drone_model.nm  --property models/drone/drone_spec.prctl  --threshold 0.90 --bisimulation none --comparator '("geq","leq")' --num_samples 5000 --num_iter 10 --weather "x-neg-bias" --eta '(0.90,0.10)' --beta '(0.9,0.99,0.999,0.9999)' --outfile 'drone_xnegbias_output';