TY  - RPRT
TI  - Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata
AU  - Yuan Feng
AU  - Lei Song
AU  - Lijun Zhang
PY  - 2015
UR  - https://arxiv.org/abs/1512.05027
ID  - 1512.05027
ER  -