Haiyu Pan

22 papers C 1Misc 2Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Alternating refinement relations for fuzzy concurrent game structures.
Theor. Comput. Sci.
Shasha Zhang, Jie Zhou, Yanfang Ma, Haiyu Pan
2025 J jnl
Incremental model checking for fuzzy computation tree logic.
Fuzzy Sets Syst.
Haiyu Pan, Jie Zhou, Yuming Lin, Yongzhi Cao
2024 C conf
Fuzzy Safety and Liveness Properties in Linear-time.
QRS
Fan Shi, Zhiqiu Huang, Haiyu Pan, Yuting Chang, Heng Xu
2022 J jnl
Approximate Safety Properties in Metric Transition Systems.
IEEE Trans. Reliab.
Junyan Qian, Fan Shi, Yong Cai, Haiyu Pan
2022 — conf
Approximate Simulation for Transition Systems with Regular Expressions.
AILA
Xinyu Cui, Zhaokai Li, Yuting Chang, Haiyu Pan
2021 J jnl
Fuzzy Alternating Refinement Relations Under the Gödel Semantics.
IEEE Trans. Fuzzy Syst.
Haiyu Pan, Yongzhi Cao, Liang Chang, Junyan Qian, Yuming Lin
2020 — ch.
Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems.
Decision Making under Constraints
Yongzhi Cao, Yoshinori Ezawa, Guoqing Chen, Haiyu Pan
2019 J jnl
A hierarchical gravitational search algorithm with an effective gravitational constant.
Swarm Evol. Comput.
Yirui Wang, Yang Yu, Shangce Gao, Haiyu Pan, Gang Yang
2019 J jnl
Fuzzy Pushdown Termination Games.
IEEE Trans. Fuzzy Syst.
Haiyu Pan, Fu Song, Yongzhi Cao, Junyan Qian
2017 J jnl
Nondeterministic fuzzy automata with membership values in complete residuated lattices.
Int. J. Approx. Reason.
Haiyu Pan, Yongming Li, Yongzhi Cao, Ping Li
2017 J jnl
Reachability in Fuzzy Game Graphs.
IEEE Trans. Fuzzy Syst.
Haiyu Pan, Yongming Li, Yongzhi Cao, Dechao Li
2017 — conf
The Approximate Correctness of Systems Based on δ-bisimulation.
ISDT
Yanfang Ma, Haiyu Pan
2016 J jnl
Model checking computation tree logic over finite lattices.
Theor. Comput. Sci.
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
2015 J jnl
Lattice-valued simulations for quantitative transition systems.
Int. J. Approx. Reason.
Haiyu Pan, Yongming Li, Yongzhi Cao
2015 J jnl
Model checking fuzzy computation tree logic.
Fuzzy Sets Syst.
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
2014 J jnl
Quantitative Analysis of Lattice-valued Kripke Structures.
Fundam. Informaticae
Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen
2014 J jnl
Simulation for lattice-valued doubly labeled transition systems.
Int. J. Approx. Reason.
Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen
2012 — conf
Bisimilarity for fuzzy doubly Labeled Transition Systems.
QLSC
Haiyu Pan, Min Zhang, Yixiang Chen
2012 Misc conf
Bisimulation for Lattice-valued Transition Systems.
TASE
Haiyu Pan, Min Zhang, Yixiang Chen
2012 — conf
Lattice-Valued Kripke Structures Based on Complete Residuated Lattice.
SERE (Companion)
Haiyu Pan, Min Zhang, Yixiang Chen
2011 Misc conf
Approximate Bisimulation for Metric Doubly Labeled Transition System.
TASE
Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu
2011 — conf
Approximate Simulation for Metric Hybrid Input/Output Automata.
SSIRI (Companion)
Haiyu Pan, Min Zhang, Yixiang Chen