\begin{frame}{Four primary risks with clear mitigation and contingency plans}

  \begin{enumerate}
    \item<1-> \alert<1>{\textbf{Computational Tractability of Synthesis}}
      \begin{itemize}
        \item[] \textit{Risk:} Synthesis times exceed project timeline
        \item[] \textit{Indicator:} $>$24hr for simplified procedures
        \item[] \textit{Contingency:} Reduce to minimal viable startup sequence
        \item[] \textit{Mitigation:} HPC resources, compositional verification
      \end{itemize}

    \item<2-> \alert<2>{\textbf{Discrete-Continuous Interface Complexity}}
      \begin{itemize}
        \item[] \textit{Risk:} Boolean guards cannot map to continuous dynamics
        \item[] \textit{Indicator:} No barrier certificates exist for transitions
        \item[] \textit{Contingency:} Restrict to polytopic invariants
        \item[] \textit{Mitigation:} Design controllers with transitions as constraints
      \end{itemize}

    \item<3-> \alert<3>{\textbf{Procedure Formalization Completeness}}
      \begin{itemize}
        \item[] \textit{Risk:} Procedures lack precision for autonomous control
        \item[] \textit{Indicator:} Multiple valid interpretations, operator judgment
        \item[] \textit{Contingency:} Document gaps as research contribution
        \item[] \textit{Mitigation:} Early analysis with domain experts
      \end{itemize}

    \item<4-> \alert<4>{\textbf{Hardware-in-the-Loop Integration}}
      \begin{itemize}
        \item[] \textit{Risk:} Real-time constraints incompatible with hardware
        \item[] \textit{Indicator:} Communication dropouts, missed deadlines
        \item[] \textit{Contingency:} Software-in-the-loop with timing analysis (TRL 4)
        \item[] \textit{Mitigation:} Early integration testing, ARCADE infrastructure
      \end{itemize}
  \end{enumerate}

\end{frame}

\begin{frame}{Staged structure ensures partial success yields valuable results}

  \begin{columns}
    \begin{column}{0.5\textwidth}
      \begin{block}{Early Detection}
        \small
        Each risk has specific indicators for early warning
        \begin{itemize}
          \item[] Quarterly assessment of progress
          \item[] Data-driven plan revision only when assumptions invalidated
        \end{itemize}
      \end{block}
    \end{column}

    \begin{column}{0.5\textwidth}
      \begin{block}{Research Value}
        \small
        Even contingency outcomes contribute knowledge
        \begin{itemize}
          \item[] Identifying barriers is itself valuable
          \item[] Clear pathway for future work
          \item[] Publishable results at each stage
        \end{itemize}
      \end{block}
    \end{column}
  \end{columns}

  \vspace{1cm}

  \begin{center}
    \textbf{Contingency plans preserve core methodology\\
    while adjusting scope to maintain feasibility}
  \end{center}

\end{frame}
