SMT-Based Verification of Hybrid Systems.

Alessandro Cimatti, Sergio Mover, Stefano Tonetta

Browse the full AAAI paper archive.