Haiyu Pan

Publication Activity (10 Years)

Years Active: 2011-2022
Publications (10 Years): 9

Top Topics

Computation Tree Logic

Gravitational Search Algorithm

Transition Systems

Top Venues

Int. J. Approx. Reason.

IEEE Trans. Fuzzy Syst.

IEEE Trans. Reliab.

Fundam. Informaticae

Publications

Junyan Qian, Fan Shi, Yong Cai, Haiyu Pan
Approximate Safety Properties in Metric Transition Systems. IEEE Trans. Reliab. 71 (1) (2022)
Xinyu Cui, Zhaokai Li, Yuting Chang, Haiyu Pan
Approximate Simulation for Transition Systems with Regular Expressions. AILA (2022)
Haiyu Pan, Yongzhi Cao, Liang Chang, Junyan Qian, Yuming Lin
Fuzzy Alternating Refinement Relations Under the Gödel Semantics. IEEE Trans. Fuzzy Syst. 29 (5) (2021)
Yirui Wang, Yang Yu, Shangce Gao, Haiyu Pan, Gang Yang
A hierarchical gravitational search algorithm with an effective gravitational constant. Swarm Evol. Comput. 46 (2019)
Haiyu Pan, Fu Song, Yongzhi Cao, Junyan Qian
Fuzzy Pushdown Termination Games. IEEE Trans. Fuzzy Syst. 27 (4) (2019)
Yanfang Ma, Haiyu Pan
The Approximate Correctness of Systems Based on δ-bisimulation. ISDT (2017)
Haiyu Pan, Yongming Li, Yongzhi Cao, Dechao Li
Reachability in Fuzzy Game Graphs. IEEE Trans. Fuzzy Syst. 25 (4) (2017)
Haiyu Pan, Yongming Li, Yongzhi Cao, Ping Li
Nondeterministic fuzzy automata with membership values in complete residuated lattices. Int. J. Approx. Reason. 82 (2017)
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
Model checking computation tree logic over finite lattices. Theor. Comput. Sci. 612 (2016)
Haiyu Pan, Yongming Li, Yongzhi Cao
Lattice-valued simulations for quantitative transition systems. Int. J. Approx. Reason. 56 (2015)
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
Model checking fuzzy computation tree logic. Fuzzy Sets Syst. 262 (2015)
Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen
Quantitative Analysis of Lattice-valued Kripke Structures. Fundam. Informaticae 135 (3) (2014)
Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen
Simulation for lattice-valued doubly labeled transition systems. Int. J. Approx. Reason. 55 (3) (2014)
Haiyu Pan, Min Zhang, Yixiang Chen
Bisimilarity for fuzzy doubly Labeled Transition Systems. QLSC (2012)
Haiyu Pan, Min Zhang, Yixiang Chen
Lattice-Valued Kripke Structures Based on Complete Residuated Lattice. SERE (Companion) (2012)
Haiyu Pan, Min Zhang, Yixiang Chen
Bisimulation for Lattice-valued Transition Systems. TASE (2012)
Haiyu Pan, Min Zhang, Yixiang Chen
Approximate Simulation for Metric Hybrid Input/Output Automata. SSIRI (Companion) (2011)
Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu
Approximate Bisimulation for Metric Doubly Labeled Transition System. TASE (2011)