Analysis and Verification of Bisimulation Relationship for Learning Time-Behavior Sequence | IEEE Conference Publication | IEEE Xplore