\hypertarget{namespacepomdp__solver}{}\doxysection{pomdp\+\_\+solver Namespace Reference}
\label{namespacepomdp__solver}\index{pomdp\_solver@{pomdp\_solver}}


This is a script developed to automate the calculation of a policy satisfying a property for a given pomdp model.  


\doxysubsection*{Classes}
\begin{DoxyCompactItemize}
\item 
class \mbox{\hyperlink{classpomdp__solver_1_1PMC}{PMC}}
\begin{DoxyCompactList}\small\item\em Class to explire and export a p\+MC model. \end{DoxyCompactList}\item 
class \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}}
\begin{DoxyCompactList}\small\item\em Class to build and explore a \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} model. \end{DoxyCompactList}\end{DoxyCompactItemize}
\doxysubsection*{Functions}
\begin{DoxyCompactItemize}
\item 
def \mbox{\hyperlink{namespacepomdp__solver_a8d38e877270ea36b4f96287c0f285dd4}{solve\+\_\+pomdp}} (model, properties, memory\+\_\+size=2, drn\+\_\+export\+\_\+file=\char`\"{}temp.\+drn\char`\"{}, export\+\_\+instatiated\+\_\+model=False)
\begin{DoxyCompactList}\small\item\em Function to automate the calculation of a policy for a pomdp model using Storm and Gurobi. \end{DoxyCompactList}\end{DoxyCompactItemize}


\doxysubsection{Detailed Description}
This is a script developed to automate the calculation of a policy satisfying a property for a given pomdp model. 

This script contains the solve\+\_\+pomdp function for an automated way to calculate a policy. The script also contains the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} and \mbox{\hyperlink{classpomdp__solver_1_1PMC}{PMC}} classes that provide functionalities to explore the \mbox{\hyperlink{classpomdp__solver_1_1POMDP}{POMDP}} and p\+MC models respectively.

This script requires the following tools\+: Storm, Stormpy, Carl, Pycarl, Gurobi

This script uses the solve\+\_\+nominal\+\_\+pomdp script provided by Nils Jansen (\href{mailto:n.jansen@science.ru.nl}{\texttt{ n.\+jansen@science.\+ru.\+nl}}) and Marnix Suilen (\href{mailto:marnix.suilen@ru.nl}{\texttt{ marnix.\+suilen@ru.\+nl}}) of the Radboud Univeristy.

Created by Anass Fakir (\href{mailto:a.fakir@student.ru.nl}{\texttt{ a.\+fakir@student.\+ru.\+nl}}). 

\doxysubsection{Function Documentation}
\mbox{\Hypertarget{namespacepomdp__solver_a8d38e877270ea36b4f96287c0f285dd4}\label{namespacepomdp__solver_a8d38e877270ea36b4f96287c0f285dd4}} 
\index{pomdp\_solver@{pomdp\_solver}!solve\_pomdp@{solve\_pomdp}}
\index{solve\_pomdp@{solve\_pomdp}!pomdp\_solver@{pomdp\_solver}}
\doxysubsubsection{\texorpdfstring{solve\_pomdp()}{solve\_pomdp()}}
{\footnotesize\ttfamily def pomdp\+\_\+solver.\+solve\+\_\+pomdp (\begin{DoxyParamCaption}\item[{}]{model,  }\item[{}]{properties,  }\item[{}]{memory\+\_\+size = {\ttfamily 2},  }\item[{}]{drn\+\_\+export\+\_\+file = {\ttfamily \char`\"{}temp.drn\char`\"{}},  }\item[{}]{export\+\_\+instatiated\+\_\+model = {\ttfamily False} }\end{DoxyParamCaption})}



Function to automate the calculation of a policy for a pomdp model using Storm and Gurobi. 


\begin{DoxyParams}{Parameters}
{\em model} & Path to a pomdp model \\
\hline
{\em properties} & String of a property that the calculated policy must satisfy. \\
\hline
{\em memory\+\_\+size} & Integer for the memory size that is unfolded in the pomdp model. \\
\hline
{\em drn\+\_\+export\+\_\+file} & File to which the p\+MC model will be written in the DRN format. \\
\hline
{\em export\+\_\+instantiated\+\_\+model} & Boolean to indicate whether to export the instantiated p\+MC model. \\
\hline
\end{DoxyParams}
