Model-Checking for Hybrid Systems by Quotienting and Constraints Solving.

Franck Cassez, Franois Laroussinie

Browse the full CAV paper archive.