Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming.

Xuandong Li Pei Yu Jianhua Zhao Yong Li 0005 Tao Zheng Guoliang Zheng Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. 465-480 2001 conf/charme/2001 CHARME http://link.springer.de/link/service/series/0558/bibs/2144/21440465.htm db/conf/charme/charme2001.html#XuandongYJYTG01