Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach. - Luan Viet Nguyen; Wesam Haddad; Taylor T. Johnson (SNR, 2021)