Symbolic Algorithm Analysis of Rectangular Hybrid Systems.

Haibin Zhang, Zhenhua Duan

Browse the full TAMC paper archive.