Model Checking Multirate Hybrid Systems with Restricted Convex Polyhedron.

Haibin Zhang

Browse the full TASE paper archive.