diff options
Diffstat (limited to 'Assignment2/report/implementation.tex')
| -rw-r--r-- | Assignment2/report/implementation.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Assignment2/report/implementation.tex b/Assignment2/report/implementation.tex index f39df5e..3acdea6 100644 --- a/Assignment2/report/implementation.tex +++ b/Assignment2/report/implementation.tex @@ -62,7 +62,7 @@ The Model Repair procedure for a \PRISM\ program and a property $\phi$ consists The \PRISM\ program is read and parsed by stormpy. Storm generates a DTMC in its internal representation. \item - The generated DTMC $\mathcal M$ is exported in DRN format using stormpy. + The generated DTMC $\mathcal M$ is exported in DRN format using storm. The DRN format is an explicit textual representation of DTMCs. Some representative parts of the DRN of the Knuth-Yao die with $p=0.4$ are shown in \cref{fig:unfair-drn}. \item |