Approximate Bisimulation for Metric Doubly Labeled Transition System.

Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu

Browse the full TASE paper archive.