Contribution

1 files changed, 3 insertions, 0 deletions

diff --git a/Assignment1/assignment1.tex b/Assignment1/assignment1.tex
index d96839e..c75367b 100644
--- a/Assignment1/assignment1.tex
+++ b/Assignment1/assignment1.tex
@@ -140,6 +140,9 @@ This text was then copy-edited, slightly corrected where needed and expanded by
 (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.
+They show that we both contributed to the core material, but also both specialised into one particular aspect:
+	Erin has figured out the translation of PLTL formulas to LTL via B\"uchi and Muller automata;
+	Camil has worked on the upper bound for bad prefixes of the form $vw^k$ when $vw^\omega$ is a counterexample for a safety property.
 Thin orange bars indicate material that cannot be attributed to either.
 Unfortunately, shortcomings of the \textsf{changebar} package make it impossible to indicate the fine-grainedness of our redaction process.
 \cbend