A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems.

Gordon J. Pace, Gerardo Schneider

Browse the full ICTAC paper archive.