diff options
Diffstat (limited to 'Assignment1/assignment1.tex')
| -rw-r--r-- | Assignment1/assignment1.tex | 3 |
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 |