\section{Supplemental Sections}
\subsection{Biosketch}

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

\subsection{Data Management Plan}
\includepdf[pages=-]{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.
