\section{Supplemental Sections}
\subsection{Biosketch}

\includepdf[pages=-]{9-supplemental-sections/cv-1786798.pdf}

\subsection{Data Management Plan}
\includepdf[pages=-]{9-supplemental-sections/High_Assurance_Autonomous_Control_Systems.pdf}

\subsection{Facilities}

\textbf{University of Pittsburgh Cyber Energy Center.} This research will be
conducted at the Cyber Energy Center, a specialized facility dedicated to
advancing cybersecurity and control systems for critical energy infrastructure.
The Center provides access to industry-standard control equipment, including
Emerson Ovation distributed control systems representative of modern nuclear
plant instrumentation and control platforms. The Center maintains active
collaborations with industry partners, enabling real-world validation of
research outcomes and ensuring alignment with practical deployment requirements.
Hardware-in-the-loop testing capabilities include the Advanced Reactor Cyber
Analysis and Development Environment (ARCADE) suite for real-time integration
between simulation models and physical control hardware.

\textbf{Center for Research Computing (CRC).} The CRC provides high-performance
computing resources essential for computationally intensive verification tasks
including reachability analysis, barrier certificate computation, and
large-scale reactor simulations. The Center maintains multi-node computing
clusters with parallel processing capabilities, GPU acceleration for neural
network-based verification approaches, and substantial data storage
infrastructure. Technical support staff provide expertise in scientific
computing, enabling efficient utilization of computational resources for formal
methods applications.

\textbf{Swanson School of Engineering.} The Mechanical Engineering and Materials
Science Department within the Swanson School provides comprehensive facilities
for engineering research including computational laboratories, collaborative
workspaces, and access to software licenses for MATLAB/Simulink, control system
design tools, and formal verification platforms. The School's emphasis on
interdisciplinary research creates opportunities for collaboration across
control systems, computer science, and nuclear engineering domains essential to
this hybrid control synthesis methodology.
