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

BIB
Damm, W. and Pinto, G. and Ratschan, S.
01 / 2006
article