diff options
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. |