Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems.

Werner Damm Guilherme Pinto Stefan Ratschan Guaranteed Termination in the Verification of LTL Properties of Non-linear Robust Discrete Time Hybrid Systems. 99-113 2005 conf/atva/2005 ATVA http://dx.doi.org/10.1007/11562948_10 db/conf/atva/atva2005.html#DammPR05