\documentclass{beamer}

\author{Yu Cong}
\title{Reachability and Büchi games}
\date{\today}

% \AtBeginSection[]{
%     \frame{\frametitle{Outline}\tableofcontents[currentsection, 
%     subsectionstyle=show/show/shaded]}
% }
    
\usetheme{Simple}
% \useoutertheme{tree}
\DeclareMathOperator{\Reach}{Reach}
    
\begin{document}
    \begin{frame}[plain]
        % Print the title page as the first slide
        \titlepage
    \end{frame}

    \begin{frame}[plain]{Overview}
        % Throughout your presentation, if you choose to use \section{} and \subsection{} commands, these will automatically be printed on this slide as an overview of your presentation
        \tableofcontents
    \end{frame}
    \input{Büchi Game-content.tex}
\end{document}