Title of article :
Verification of infinite-state dynamic systems using approximate quotient transition systems
Author/Authors :
Chutinan، A نويسنده , , A.، نويسنده , , Krogh، نويسنده , , B.H.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Keywords :
Bisimulation , Hybrid systems , reachability , temporallogic , Verification.
Journal title :
IEEE Transactions on Automatic Control
Journal title :
IEEE Transactions on Automatic Control
