Yucheng Liu. ε-Approximate Bisimulations for Nondeterministic Fuzzy Kripke Structures. In Zhiping Cai, Mingyu Xiao, Jialin Zhang 0001, editors, Theoretical Computer Science - 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers. Volume 1944 of Communications in Computer and Information Science, pages 107-132, Springer, 2023. [doi]
Abstract is missing.