Block-withholding attack analysis using the C++ API of Storm for Markov Decision Process model checking.
Before starting, make sure that Storm is installed. If not, see the documentation for details on how to install Storm.
First, configure and compile the project. Therefore, execute
mkdir build
cd build
cmake ..
make
cd ..
Then, run the executable using
./build/ranc-mdp-analysis
Distributed under the GNU General Public License Version 3, 29 June 2007.