Generalized Property-Directed Reachability for Hybrid Systems.

Kohei Suenaga, Takuya Ishizawa

Browse the full VMCAI paper archive.