From 567418da3bc3ec6b268ee8aad68123aabaae3826 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 6 Jul 2018 21:39:53 +0200
Subject: Tsk tsk

---
 Assignment2/report/future.tex | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 Assignment2/report/future.tex

(limited to 'Assignment2/report/future.tex')

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.
-- 
cgit v1.2.3

