main.tex

% Robert Moss
% Master of Science in Computer Science with a Distinction in Research (Artificial Intelligence Track)
% Stanford University, Stanford, CA 94305
% mossr@cs.stanford.edu
% May, 2021
\documentclass[11pt]{report}
\usepackage{preamble/suthesis-ms-2e}
\dept{Computer Science}

\input{preamble/preamble}
\addbibresource{references/references.bib}

\begin{document}
\title{Algorithms for efficient validation of black-box systems}
\author{Robert John Moss}
\principaladviser{Mykel J. Kochenderfer}
\firstreader{Dorsa Sadigh}
% \signedpdfpage{"versions/moss-mscs-thesis (signature-page).pdf"}

\beforepreface
\prefacesection{Abstract}
\input{chapters/abstract}
%
\prefacesection{Acknowledgments}
\input{chapters/acknowledgments}
\afterpreface

% Small caps headers (Note: needs to be after \afterpreface)
\renewcommand{\chaptermark}[1]{ \markboth{\textsc{#1}}{} }
\renewcommand{\sectionmark}[1]{ \markright{\textsc{#1}}{} }

\chapter{Introduction}\label{cha:introduction}
\input{chapters/introduction}

\chapter{Cross-Entropy Surrogate Method}\label{cha:cem_variants}
\input{chapters/cem_variants}

\chapter{Episodic Adaptive Stress Testing}\label{cha:episodic_ast}
\input{chapters/episodic_ast}

\chapter{Adversarial Weakness Recognition}\label{cha:weakness_rec}
\input{chapters/weakness_rec}

\chapter{Open Source Tools for Validation}\label{cha:tooling}
\input{chapters/tooling}

\chapter{Conclusions}\label{cha:conclusions}
\input{chapters/conclusions}

\appendix
\input{appendices/episodic_ast_appendix}

\printbibliography

\end{document}