diff options
| author | Erin van der Veen | 2018-07-06 22:03:12 +0200 |
|---|---|---|
| committer | Erin van der Veen | 2018-07-06 22:03:12 +0200 |
| commit | ba066dd83a61458cc61250d29ded3db6bd106ddd (patch) | |
| tree | aedaac0fa717cb7f2dcf6428e3bfb13729555dbb /Assignment2/report/implementation.tex | |
| parent | Tsk tsk (diff) | |
Trivial fixes
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 |