SMT Formulations of Sufficient Conditions for Forward Invariance in Continuous Dynamical Systems. - Michael R. Livesay; Blake C. Rawlings (HSCC, 2025)