Generalized Property-Directed Reachability for Hybrid Systems. - Kohei Suenaga; Takuya Ishizawa (VMCAI, 2020)