Commit debba2bb authored by Thom Badings's avatar Thom Badings
Browse files

Update README.md

parent 34bebe32
......@@ -42,7 +42,7 @@ Our Docker container is built upon a container for the probabilistic model check
To use the docker container, open a terminal and navigate to the folder where you want to save the results in. Then, run the following command (for Windows platforms, please see the [documentation on the Storm website](https://www.stormchecker.org/documentation/obtain-storm/docker.html#run-the-docker-image-windows)):
```
docker run --mount type=bind,source="$(pwd)",target=/opt/upmdps/output -w /opt/upmdps --rm -it --name upmdps movesrwth/storm:1.6.4
docker run --mount type=bind,source="$(pwd)",target=/opt/upmdps/output -w /opt/upmdps --rm -it --name upmdps thombadings/upmdps:sttt
```
You will see a prompt inside the docker container. The README in this folder is what you are reading. Now you are ready to run the code for a single model (Section 3) or to replicate the experiments presented in [1] (Section 4).
......@@ -81,10 +81,14 @@ Below, we list all arguments that can be passed to the command for running SLURF
| Argument | Required? | Default | Type | Description |
| --- | --- | --- | --- | --- |
| model | Yes | n/a | string | Model file, e.g. `models/brp/brp.sm` |
| property | Yes | n/a | string | File to load properties from |
| N | No | 100 | int. or list of integers | Number of solution vectors. A list can be passed as e.g., `[100,200]` |
| beta | No | [0.9,0.99,0.999] | float or list of floats | Confidence level. A list can be passed as e.g., `[0.9,0.99]` |
| rho_list | No | --depends-- | float of floats | Lists of the costs or relaxation to use, e.g. `[0.2,0.5,0.75,1.5]` |
| model | Yes | n/a | string | Model file, e.g. `ctmc/epidemic/sir20.sm` |
| param_file | No | parameters.xlsx | string | File to load parameter distributions from |
| prop_file | No | properties.xlsx | string | File to load properties from |
| no-bisim | No | False | bool | If this argument is added, bisimulation is disabled |
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment