final commit
[tt2015.git] / a4 / question1.tex
index 0370589..6f2251c 100644 (file)
@@ -2,7 +2,7 @@ The Candymachine was learned using LearnLib. Figure~\ref{fig:candy} shows the
 learned model. In this Figure S0 is the initial state. 
 
 \begin{figure}[H]
-       \includegraphics[width=1.7\textwidth,natwidth=2389,natheight=891]{1candyFig.png} 
+       \includegraphics[width=1.7\textwidth,natwidth=2389,natheight=891]{1candyfig.png} 
        \caption{Learned model of the candy machine}
        \label{fig:candy}
 \end{figure}
@@ -27,4 +27,4 @@ learned model. In this Figure S0 is the initial state.
                        \texttt{COIN10}, S3 to S5 for a Snickers, S5 to S1 with 
                        \texttt{COIN5}, S1 to S3 with \texttt{COIN10}, S3 to S0 for a
                        Bounty)
-\end{description}
\ No newline at end of file
+\end{description}