Distribution-based Bisimulation and Bisimulation Metric in Probabilistic Automata

Yuan Feng, Lei Song, Lijun Zhang
一月 2015
引用 arXiv URL
类型
Manuscript
冯元
冯元
教授