SPeeDI - A Verification Tool for Polygonal Hybrid Systems.

Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine

Browse the full CAV paper archive.