\doxysection{Namespace List}
Here is a list of all documented namespaces with brief descriptions\+:\begin{DoxyCompactList}
\item\contentsline{section}{\mbox{\hyperlink{namespacepomdp__solver}{pomdp\+\_\+solver}} \\*This is a script developed to automate the calculation of a policy satisfying a property for a given pomdp model }{\pageref{namespacepomdp__solver}}{}
\end{DoxyCompactList}
