GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems.

Hallstein Asheim Hansen, Gerardo Schneider

Browse the full ICTAC paper archive.