Formal Verification of a Nuclear Plant Thermal Dispatch Operation Using System Decomposition. - Abhimanyu Kapuria; Daniel G. Cole (TPS-ISA, 2024)

Formal Verification of Nonlinear Hybrid Systems Using Decomposition. - Abhimanyu Kapuria; Daniel G. Cole (SAT-CPS@CODASPY, 2025)