Verification of infinite-state dynamic systems using approximate quotient transition systems

Alongkrit Chutinan, Bruce H. Krogh. Verification of infinite-state dynamic systems using approximate quotient transition systems. IEEE Trans. Automat. Contr., 46(9):1401-1410, 2001. [doi]

Abstract

Abstract is missing.