Guaranteed termination in the verification of LTL properties of non-linear robust discrete time hybrid systems

BIB
Werner Damm and Guilherme Pinto and Stefan Ratschan
International Journal of Foundations of Computer Science
01 / 2007
article
63-88
18(1)