X-Git-Url: https://git.siccegge.de//index.cgi?p=talk%2Fcoalgebraic-mu-calculus-cool-2.git;a=blobdiff_plain;f=chapters%2Ffinishingcool.tex;fp=chapters%2Ffinishingcool.tex;h=a90f7b8b1d5b1b89de3cf0941eeff65ecc9e8944;hp=0000000000000000000000000000000000000000;hb=edc63ce858f06a6b08536f876c7328820edd92a8;hpb=1d48022e102d8178ceed440a34825e110c46f4e0

diff --git a/chapters/finishingcool.tex b/chapters/finishingcool.tex
new file mode 100644
index 0000000..a90f7b8
--- /dev/null
+++ b/chapters/finishingcool.tex
@@ -0,0 +1,50 @@
+\section{Finishing Cool}
+\subsection*{Dummy}
+
+\begin{frame}{Where we left (TODO)}
+  \begin{itemize}
+  \item actually implementing deferral tracking
+  \item deciding when some deferral can be considered ``finished''
+  \item \dots
+  \item finding ``right'' heuristic for when to try and close the tableaux
+  \item fixing all the bugs
+  \end{itemize}
+\end{frame}
+
+\begin{frame}{Extra nodes}
+  \begin{itemize}
+  \item Different set of deferrals create different Nodes
+  \item Exponential increase in Nodes
+  \end{itemize}
+\end{frame}
+
+\begin{frame}
+  TODO: graphviz der $p\#q\#$ formel
+\end{frame}
+
+\begin{frame}{Propagation}
+  \begin{itemize}
+  \item Cool works in rounds
+    \begin{itemize}
+    \item One further solution from each Core (propositional)
+    \item All possible modal steps
+    \end{itemize}
+  \item Check for satisfiability after \#{}OpenStates rounds\pause
+  \item Ideas
+    \begin{itemize}
+    \item Creating cycles forces earlier propagation
+    \item Use \#{}OpenStates steps, not rounds
+    \end{itemize}
+  \end{itemize}
+\end{frame}
+
+\begin{frame}
+  TODO: auswertungen mit ``jedes'' mal propagieren, current magic, nie propagieren
+\end{frame}
+
+%%% Local Variables: 
+%%% mode: latex
+%%% TeX-master: "../vortrag"
+%%% TeX-engine: luatex
+%%% TeX-PDF-mode: t
+%%% End: