summaryrefslogtreecommitdiff
path: root/Assignment1/conversion.tex
diff options
context:
space:
mode:
authorCamil Staps2018-04-12 23:07:57 +0200
committerCamil Staps2018-04-12 23:07:57 +0200
commit85bdc78e7cadd8ba52d117f648253dcc1a99c83f (patch)
tree2739de2c1ceda87a1efb006985f12cbb199ecf62 /Assignment1/conversion.tex
parentCorrect section counts (diff)
Organise in different files
Diffstat (limited to 'Assignment1/conversion.tex')
-rw-r--r--Assignment1/conversion.tex4
1 files changed, 4 insertions, 0 deletions
diff --git a/Assignment1/conversion.tex b/Assignment1/conversion.tex
new file mode 100644
index 0000000..a133fcf
--- /dev/null
+++ b/Assignment1/conversion.tex
@@ -0,0 +1,4 @@
+\subsubsection{PLTL to LTL}
+%TODO: Provide the syntactic algorithm to convert PLTL to LTL
+%TODO: Provide algorithm via automata to convert PLTL to LTL
+%TODO: In both cases make use of examples from SSH Paper