diff options
| author | Camil Staps | 2018-07-06 21:39:53 +0200 |
|---|---|---|
| committer | Camil Staps | 2018-07-06 21:39:53 +0200 |
| commit | 567418da3bc3ec6b268ee8aad68123aabaae3826 (patch) | |
| tree | 93b39ca17f370e0cdcf71addb0cd3885f54cafc9 /Assignment2/report/future.tex | |
| parent | Lalala (diff) | |
Tsk tsk
Diffstat (limited to 'Assignment2/report/future.tex')
| -rw-r--r-- | Assignment2/report/future.tex | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Assignment2/report/future.tex b/Assignment2/report/future.tex new file mode 100644 index 0000000..5adb602 --- /dev/null +++ b/Assignment2/report/future.tex @@ -0,0 +1,9 @@ +\section{Future Work} +To get this tool to a usable state, + either Storm needs to be able to read and write parametric DTMCs to DRN files, + or the logic of our tool needs to be re-implemented in Python or C(++) on Storm's data structures. +Either of these options seem to be possible straightforwardly given more knowledge or documentation of Storm. + +To implement the cost functions properly, there are different options. +The simplest would be implementing the approximation method described in the previous section. +Another option is to find different kinds of cost functions which can be minimised efficiently. |