Approximate Simulation for Metric Hybrid Input/Output Automata. - Haiyu Pan; Min Zhang 007; Yixiang Chen 001 (SSIRI (Companion), 2011)

Approximate Bisimulation for Metric Doubly Labeled Transition System. - Haiyu Pan; Min Zhang 007; Yixiang Chen 001; Hengyang Wu (TASE, 2011)

Bisimilarity for fuzzy doubly Labeled Transition Systems. - Haiyu Pan; Min Zhang 007; Yixiang Chen 001 (QLSC, 2012)

Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. - Haiyu Pan; Min Zhang 007; Yixiang Chen 001 (SERE (Companion), 2012)

Bisimulation for Lattice-valued Transition Systems. - Haiyu Pan; Min Zhang 007; Yixiang Chen 001 (TASE, 2012)

Quantitative Analysis of Lattice-valued Kripke Structures. - Haiyu Pan; Min Zhang 007; Hengyang Wu; Yixiang Chen 001 (Fundam. Informaticae, 2014)

Simulation for lattice-valued doubly labeled transition systems. - Haiyu Pan; Yongzhi Cao; Min Zhang 007; Yixiang Chen 001 (Int. J. Approx. Reason., 2014)

Model checking fuzzy computation tree logic. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Zhanyou Ma (Fuzzy Sets Syst., 2015)

Lattice-valued simulations for quantitative transition systems. - Haiyu Pan; Yongming Li 001; Yongzhi Cao (Int. J. Approx. Reason., 2015)

Model checking computation tree logic over finite lattices. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Zhanyou Ma (Theor. Comput. Sci., 2016)

The Approximate Correctness of Systems Based on δ-bisimulation. - Yanfang Ma; Haiyu Pan (ISDT, 2017)

Nondeterministic fuzzy automata with membership values in complete residuated lattices. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Ping Li 015 (Int. J. Approx. Reason., 2017)

Reachability in Fuzzy Game Graphs. - Haiyu Pan; Yongming Li 001; Yongzhi Cao; Dechao Li (IEEE Trans. Fuzzy Syst., 2017)

A hierarchical gravitational search algorithm with an effective gravitational constant. - Yirui Wang 001; Yang Yu 013; Shangce Gao; Haiyu Pan; Gang Yang 001 (Swarm Evol. Comput., 2019)

Fuzzy Pushdown Termination Games. - Haiyu Pan; Fu Song; Yongzhi Cao; Junyan Qian (IEEE Trans. Fuzzy Syst., 2019)

Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems. - Yongzhi Cao; Yoshinori Ezawa; Guoqing Chen; Haiyu Pan (Decision Making under Constraints, 2020)

Fuzzy Alternating Refinement Relations Under the Gödel Semantics. - Haiyu Pan; Yongzhi Cao; Liang Chang 003; Junyan Qian; Yuming Lin 001 (IEEE Trans. Fuzzy Syst., 2021)

Approximate Simulation for Transition Systems with Regular Expressions. - Xinyu Cui; Zhaokai Li; Yuting Chang; Haiyu Pan (AILA, 2022)

Approximate Safety Properties in Metric Transition Systems. - Junyan Qian; Fan Shi; Yong Cai; Haiyu Pan (IEEE Trans. Reliab., 2022)

Fuzzy Safety and Liveness Properties in Linear-time. - Fan Shi; Zhiqiu Huang; Haiyu Pan; Yuting Chang; Heng Xu (QRS, 2024)

Alternating refinement relations for fuzzy concurrent game structures. - Shasha Zhang; Jie Zhou; Yanfang Ma; Haiyu Pan (Theor. Comput. Sci., 2025)