\documentclass[accepted]{uai2024}
\usepackage{amsmath, amssymb}
% \usepackage{aaai24}  % DO NOT CHANGE THIS
\usepackage{times}  % DO NOT CHANGE THIS
\usepackage{helvet}  % DO NOT CHANGE THIS
\usepackage{courier}  % DO NOT CHANGE THIS
% \usepackage[hyphens]{url}  % DO NOT CHANGE THIS
\usepackage{graphicx} % DO NOT CHANGE THIS
\urlstyle{rm} % DO NOT CHANGE THIS
\def\UrlFont{\rm}  % DO NOT CHANGE THIS
\usepackage{natbib}  % DO NOT CHANGE THIS AND DO NOT ADD ANY OPTIONS TO IT
\usepackage{caption} % DO NOT CHANGE THIS AND DO NOT ADD ANY OPTIONS TO IT
% \frenchspacing  % DO NOT CHANGE THIS
% \setlength{\pdfpagewidth}{8.5in} % DO NOT CHANGE THIS
% \setlength{\pdfpageheight}{11in} % DO NOT CHANGE THIS

\usepackage[american]{babel}

\usepackage{natbib} % has a nice set of citation styles and commands
    \bibliographystyle{plainnat}
    \renewcommand{\bibsection}{\subsubsection*{References}}

% Use the postscript times font!
\usepackage{times}
\usepackage[utf8]{inputenc}
\usepackage{graphicx}
\usepackage{amsfonts}
\usepackage{amsthm}
\usepackage{booktabs}
\usepackage{algorithm}
\usepackage{algorithmic}
\usepackage[svgnames]{xcolor}
\usepackage{tikz}
\usetikzlibrary{automata, positioning}
\usepackage{multirow}

\usepackage{enumitem}

% the following package is optional:
%\usepackage{latexsym}

% See https://www.overleaf.com/learn/latex/theorems_and_proofs
% for a nice explanation of how to define new theorems, but keep
% in mind that the amsthm package is already included in this
% template and that you must *not* alter the styling.
\newtheorem{example}{Example}
\newtheorem{remark}{Remark}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{definition}{Definition}
\newtheorem{proposition}{Proposition}
\newtheorem{assumption}{Assumption}
\newtheorem{problem}{Problem}
\newtheorem{claim}{Claim}

\newcommand{\uppervalue}{\overline{V}_R}
\newcommand{\lowervalue}{\underline{V}_R}
\newcommand{\uppercost}{\overline{V}_C}
\newcommand{\lowercost}{\underline{V}_C}
\newcommand{\upperQvalue}{\overline{Q}_R}
\newcommand{\lowerQvalue}{\underline{Q}_R}
\newcommand{\upperQcost}{\overline{Q}_C}
\newcommand{\lowerQcost}{\underline{Q}_C}

\newcommand{\globaluppervalue}{V^{U}_R}
\newcommand{\globallowercost}{V^{L}_C}

\DeclareMathOperator*{\argmax}{arg\,max}
\DeclareMathOperator*{\argmin}{arg\,min}

\let\oldnl\nl% Store \nl in \oldnl
\newcommand{\nonl}{\renewcommand{\nl}{\let\nl\oldnl}}% Remove line number for one line


\newif\ifmargincomments
\margincommentstrue

\ifmargincomments
\newcommand{\qh}[1]{\textcolor{purple}{[QH: #1]}}
\newcommand{\bk}[1]{\textcolor{olive}{[BK: #1]}}
\newcommand{\zl}[1]{\textcolor{orange}{[ZL: #1]}}
\newcommand{\tb}[1]{\textcolor{cyan}{[TB: #1]}}
\newcommand{\ml}[1]{\textcolor{blue}{[ML: #1]}}
\newcommand{\zs}[1]{\textcolor{teal}{[ZS: #1]}}
\else
\newcommand{\qh}[1]{}
\newcommand{\bk}[1]{}
\newcommand{\zl}[1]{}
\newcommand{\tb}[1]{}
\newcommand{\ml}[1]{}
\newcommand{\zs}[1]{}
\fi

\newtheorem{innercustomthm}{Theorem}
\newenvironment{customthm}[1]
  {\renewcommand\theinnercustomthm{#1}\innercustomthm}
  {\endinnercustomthm}
%
% These are are recommended to typeset listings but not required. See the subsubsection on listing. Remove this block if you don't have listings in your paper.
\usepackage{newfloat}
\usepackage{listings}
\DeclareCaptionStyle{ruled}{labelfont=normalfont,labelsep=colon,strut=off} % DO NOT CHANGE THIS
\lstset{%
	basicstyle={\footnotesize\ttfamily},% footnotesize acceptable for monospace
	numbers=left,numberstyle=\footnotesize,xleftmargin=2em,% show line numbers, remove this entire line if you don't want the numbers.
	aboveskip=0pt,belowskip=0pt,%
	showstringspaces=false,tabsize=2,breaklines=true}
\floatstyle{ruled}
\newfloat{listing}{tb}{lst}{}
\floatname{listing}{Listing}
%
% Keep the \pdfinfo as shown here. There's no need
% for you to add the /Title and /Author tags.
\pdfinfo{
/TemplateVersion (2024.1)
}

% DISALLOWED PACKAGES
% \usepackage{authblk} -- This package is specifically forbidden
% \usepackage{balance} -- This package is specifically forbidden
% \usepackage{color (if used in text)
% \usepackage{CJK} -- This package is specifically forbidden
% \usepackage{float} -- This package is specifically forbidden
% \usepackage{flushend} -- This package is specifically forbidden
% \usepackage{fontenc} -- This package is specifically forbidden
% \usepackage{fullpage} -- This package is specifically forbidden
% \usepackage{geometry} -- This package is specifically forbidden
% \usepackage{grffile} -- This package is specifically forbidden
% \usepackage{hyperref} -- This package is specifically forbidden
% \usepackage{navigator} -- This package is specifically forbidden
% (or any other package that embeds links such as navigator or hyperref)
% \indentfirst} -- This package is specifically forbidden
% \layout} -- This package is specifically forbidden
% \multicol} -- This package is specifically forbidden
% \nameref} -- This package is specifically forbidden
% \usepackage{savetrees} -- This package is specifically forbidden
% \usepackage{setspace} -- This package is specifically forbidden
% \usepackage{stfloats} -- This package is specifically forbidden
% \usepackage{tabu} -- This package is specifically forbidden
% \usepackage{titlesec} -- This package is specifically forbidden
% \usepackage{tocbibind} -- This package is specifically forbidden
% \usepackage{ulem} -- This package is specifically forbidden
% \usepackage{wrapfig} -- This package is specifically forbidden
% DISALLOWED COMMANDS
% \nocopyright -- Your paper will not be published if you use this command
% \nocopyright
% \addtolength -- This command may not be used
% \balance -- This command may not be used
% \baselinestretch -- Your paper will not be published if you use this command
% \clearpage -- No page breaks of any kind may be used for the final version of your paper
% \columnsep -- This command may not be used
% \newpage -- No page breaks of any kind may be used for the final version of your paper
% \pagebreak -- No page breaks of any kind may be used for the final version of your paper
% \pagestyle -- This command may not be used
% \tiny -- This is not an acceptable font size.
% \vspace{- -- No negative value may be used in proximity of a caption, figure, table, section, subsection, subsubsection, or reference
% \vskip{- -- No negative value may be used to alter spacing above or below a caption, figure, table, section, subsection, subsubsection, or reference
% \setcounter{secnumdepth}{2} 

% \title{Recursively-Constrained POMDPs}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Added for submission to ICAPS 2024
%   To be removed for camera ready.
%
% INSTRUCTIONS: If desired, comment out the "None" line, and
%               uncomment the relevant primary keywords.
%
% \newcommand{\primarykeywords}{
% None
% (1) Applications;
% (2) Learning;
% (3) Robotics;
% (4) Theory;
% (5) Human-aware Planning and Scheduling;
% (6) Temporal Planning;
% (7) Multi-Agent Planning;
% (8) Knowledge Representation/Engineering
% }


% \usepackage[switch, modulo]{lineno}
% \linenumbers

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\title{Recursively-Constrained Partially Observable Markov Decision Processes}
% \author{
%     %Authors
%     % All authors must be in the same font size and format.
%     Qi Heng Ho\equalcontrib \textsuperscript{\rm 1},
%     Tyler Becker\equalcontrib \textsuperscript{\rm 1},
%     Benjamin Kraske\textsuperscript{\rm 1},
%     Zakariya Laouar\textsuperscript{\rm 1},
%     Martin S. Feather\textsuperscript{\rm 2},
%     Federico Rossi\textsuperscript{\rm 2},
%     Morteza Lahijanian\textsuperscript{\rm 1},
%     Zachary N. Sunberg\textsuperscript{\rm 1}
% }

% \affiliations{
%     %Afiliations
%     University of Colorado Boulder\textsuperscript{\rm 1},
%     Jet Propulsion Laboratory, California Institute of Technology\textsuperscript{\rm 2}
%     % Note that the comma should be placed after the superscript
% %
% % See more examples next
% }

% \author[1]{\href{mailto:<qi.ho@colorado.edu>?Subject=Your UAI 2024 paper}{Jane~J.~von~O'L\'opez}{}}
\author[1]{\href{mailto:<qi.ho@colorado.edu>?Subject=Your UAI 2024 paper}{Qi Heng Ho}{}}
\author[1]{Tyler Becker}
\author[1]{Benjamin Kraske}
\author[1]{Zakariya Laouar}
\author[2]{Martin S. Feather}
\author[2]{Federico Rossi}
\author[1]{Morteza Lahijanian}
\author[1]{Zachary Sunberg}
% Add affiliations after the authors
% \affil[*]{%
    % These authors contributed equally
% }
\affil[1]{%
    Department of Aerospace Engineering Sciences\\
    University of Colorado Boulder\\
    Boulder, Colorado, USA
}
\affil[2]{%
    Jet Propulsion Laboratory\\
    California Institute of Technology\\
    Pasadena, California, USA
}

\begin{document}

\maketitle
\input{sections/Abstract}
\input{sections/Introduction}
\input{sections/CPOMDP}
\input{sections/RACPOMDP}
\input{sections/Analysis}
\input{sections/Algorithm}
\input{sections/Experiments}
\input{sections/Discussion}

\begin{acknowledgements}
    Part of this research was carried out at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration (80NM0018D0004).
\end{acknowledgements}

\bibliography{References.bib}

\newpage

\onecolumn

\title{Recursively-Constrained Partially Observable Markov Decision Processes\\(Supplementary Material)}
\maketitle
\appendix
\input{sections/Appendix}

\end{document}