Model Checking Rectangular Hybrid Systems with Timed Computation Tree Logic.

Haibin Zhang, Zhenhua Duan, Bohu Huang, Xiaobing Wang, Long Zhang

Browse the full TASE paper archive.