Funder
National Natural Science Foundation of China
Innovation Group Project of National Natural Science Foundation
Shanghai Knowledge Service Platform for Trustworthy Internet of Things
Subject
Artificial Intelligence,Logic
Reference36 articles.
1. Polynominal time algorithms for testing probabilistic bisimulation and simulation;Baier,1996
2. A behavioural pseudometric for probabilistic transition systems;van Breugel;Theor. Comput. Sci.,2005
3. Bisimulations for fuzzy transition systems;Cao;IEEE Trans. Fuzzy Syst.,2010
4. Nondeterministic fuzzy automata;Cao;Inf. Sci.,2012
5. A behavioral distance for fuzzy-transition systems;Cao;IEEE Trans. Fuzzy Syst.,2013
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献