From dfd41f9225a2afe587ab90e4b4fe68012f9f7db6 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Thu, 19 Apr 2018 20:38:55 +0200
Subject: Contribution

---
 Assignment1/assignment1.tex | 3 +++
 1 file changed, 3 insertions(+)

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