The GPEP tool performs Gaussian Process classification via Expectation Propagation algorithm for chosen .pdrh model.
-
gcc/g++ 4.9 or greater.
-
sudo apt-get install bison flex -
CMake, if not already present on your system.
git clone https://github.com/dreal/probreach.git probreach
cd probreach
mkdir -p build/release
cd build/release
cmake ../../
make gp
gp <solver-options> <file.pdrh/file.drh> <options>
options:
-h - displays help message
-u - specifies the reachability depth
-n - specifies number of points (default = 20)
–-verbose - provides detailed output
–-conf - specifies the confidence of CIs for EP algorithm (default = 0.99)
–-samples - specifies number of samples (default = 20)