thesis.mlf5

{\reset@font\mlffont\mtc@string\contentsline{figure}{\noexpand \leavevmode \numberline {5.1}{\ignorespaces Planning as a Timed Automaton\relax }}{\reset@font\mlffont 75}{figure.caption.46}}
{\reset@font\mlfSfont\mtc@string\contentsline{subfigure}{\noexpand \leavevmode \numberline {(a)}{\ignorespaces {Part of a timed automaton}}}{\reset@font\mlfSfont 75}{subfigure.1.1}}
{\reset@font\mlfSfont\mtc@string\contentsline{subfigure}{\noexpand \leavevmode \numberline {(b)}{\ignorespaces {Planning encoding}}}{\reset@font\mlfSfont 75}{subfigure.1.2}}
{\reset@font\mlffont\mtc@string\contentsline{figure}{\noexpand \leavevmode \numberline {5.2}{\ignorespaces Discretizing Planning Horizons for Interaction\relax }}{\reset@font\mlffont 76}{figure.caption.47}}
{\reset@font\mlffont\mtc@string\contentsline{figure}{\noexpand \leavevmode \numberline {5.3}{\ignorespaces Planning Automata for the Task Manager Example\relax }}{\reset@font\mlffont 78}{figure.caption.48}}
{\reset@font\mlffont\mtc@string\contentsline{figure}{\noexpand \leavevmode \numberline {5.4}{\ignorespaces Sample of the Output Strategy from UPPAAL-Tiga\relax }}{\reset@font\mlffont 79}{figure.caption.49}}