diff options
Diffstat (limited to 'Assignment1/specifying-properties.tex')
| -rw-r--r-- | Assignment1/specifying-properties.tex | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Assignment1/specifying-properties.tex b/Assignment1/specifying-properties.tex new file mode 100644 index 0000000..0f84a4e --- /dev/null +++ b/Assignment1/specifying-properties.tex @@ -0,0 +1,13 @@ +\subsubsection{Specifying Properties} +% TODO Once operator + +\camil +\begin{remark}[Other Notations] + % TODO: I don't find this place logical for this remark, but it is the same place as Remark 5.16 in the book. + Like for LTL, many different notations are used in literature for PLTL. + These include + $\mathbf X^{-1}, \mathbf G^{-1}, \mathbf F^{-1}$~\citep[e.g.]{Markey2003}, + but also \raisebox{-1pt}{\tikz\draw[black,fill=black](0,0)circle(.4em);}$,\blacksquare,\blacklozenge$~\citep[e.g.]{Gabbay1989} + or $\stackinset{c}{}{c}{}{$\cdot$}{$\bigcirc$},\boxdot,\stackinset{c}{}{c}{}{$\cdot$}{$\lozenge$}$~\citep[e.g.]{Havelund2002}. + % It is always fun to come up with new versions and watch people struggling to reproduce them in \LaTeX. +\end{remark} |