diff options
Diffstat (limited to 'Assignment1/assignment1.tex')
| -rw-r--r-- | Assignment1/assignment1.tex | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex index cb1b363..e859f41 100644 --- a/Assignment1/assignment1.tex +++ b/Assignment1/assignment1.tex @@ -99,8 +99,8 @@ \newcommand{\wfff}{\ifmmode\expandafter\text\fi{\wff\textsuperscript{$+$}}} % Pure future wff \newcommand{\wffp}{\ifmmode\expandafter\text\fi{\wff\textsuperscript{$-$}}} % Pure past wff -\title{Model Checking} -\subtitle{Assignment 1} +\title{Past Modalities in LTL} +\subtitle{Model Checking, Assignment 1} \author{Camil Staps \and Erin van der Veen} \begin{document} @@ -116,25 +116,22 @@ \input{semantics} \input{equivalence} \input{conversion} -%TODO: (Section?) Assess if PLTL is actually more succinct using the examples from the SSH Paper \input{bad-prefix} \input{summary} -\input{bibliographic-notes} \input{exercises} \both \printbibliography \section*{Contribution} -%TODO: Like we are some immature group of children, we have to provide proof of contribution Erin has started writing the text. This text was then copy-edited, slightly corrected where needed and expanded by Camil. (The result was then copy-edited, slightly corrected where needed and expanded by Erin. The result was then copy-edited, slightly corrected where needed and expanded by Camil.)$^\omega$ In the above, yellow bars indicate content primarily contributed by Erin, whereas red bars indicate content primarily contributed by Camil. Thin orange bars indicate material that cannot be attributed to either. -Unfortunately, disabilities of the \textsf{changebar} package make it impossible to indicate the fine-grainedness of our redaction process. +Unfortunately, shortcomings of the \textsf{changebar} package make it impossible to indicate the fine-grainedness of our redaction process. \cbend \end{document} |