Supporting material for the Paper: #Verification of indefinite-horizon POMDPs
Contents of this repository
- Logfiles (see subdirectory
- Model files (see subdirectory
- This Readme
The implementation is part of Storm since version 1.6.0. Click here to obtain a recent version of Storm.
For our experiments in the Paper we considered this commit. If you want to use the same version, please refer to the installation guide to build storm from source. Before the Configuration Step, make sure to checkout the appropriate commit using
git checkout b6fcdefbbb4fa33ca530f52a8f8a16222b09e71f
make step, the binary
$STORM_DIR/build/bin/storm-pomdp should be available.
To see a list of possible options, simply run:
Example invocations are also given in the logfiles.