Haiyu Pan

According to our database, Haiyu Pan authored at least 19 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Approximate Safety Properties in Metric Transition Systems.

Junyan Qian, Fan Shi, Yong Cai, Haiyu Pan

IEEE Trans. Reliab., 2022

Approximate Simulation for Transition Systems with Regular Expressions.

Xinyu Cui, Zhaokai Li, Yuting Chang, Haiyu Pan

Proceedings of the Artificial Intelligence Logic and Applications, 2022

2021

Fuzzy Alternating Refinement Relations Under the Gödel Semantics.

Haiyu Pan, Yongzhi Cao, Liang Chang, Junyan Qian, Yuming Lin

IEEE Trans. Fuzzy Syst., 2021

2020

Modeling and Specification of Nondeterministic Fuzzy Discrete-Event Systems.

Yongzhi Cao, Yoshinori Ezawa, Guoqing Chen, Haiyu Pan

Proceedings of the Decision Making under Constraints, 2020

2019

Fuzzy Pushdown Termination Games.

Haiyu Pan, Fu Song, Yongzhi Cao, Junyan Qian

IEEE Trans. Fuzzy Syst., 2019

A hierarchical gravitational search algorithm with an effective gravitational constant.

Yirui Wang, Yang Yu, Shangce Gao, Haiyu Pan, Gang Yang

Swarm Evol. Comput., 2019

2017

Reachability in Fuzzy Game Graphs.

Haiyu Pan, Yongming Li, Yongzhi Cao, Dechao Li

IEEE Trans. Fuzzy Syst., 2017

Nondeterministic fuzzy automata with membership values in complete residuated lattices.

Haiyu Pan, Yongming Li, Yongzhi Cao, Ping Li

Int. J. Approx. Reason., 2017

The Approximate Correctness of Systems Based on δ-bisimulation.

Yanfang Ma, Haiyu Pan

Proceedings of the Seventh International Symposium on Domain Theory and Its Applications, 2017

2016

Model checking computation tree logic over finite lattices.

Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma

Theor. Comput. Sci., 2016

2015

Lattice-valued simulations for quantitative transition systems.

Haiyu Pan, Yongming Li, Yongzhi Cao

Int. J. Approx. Reason., 2015

Model checking fuzzy computation tree logic.

Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma

Fuzzy Sets Syst., 2015

2014

Simulation for lattice-valued doubly labeled transition systems.

Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen

Int. J. Approx. Reason., 2014

Quantitative Analysis of Lattice-valued Kripke Structures.

Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen

Fundam. Informaticae, 2014

2012

Bisimulation for Lattice-valued Transition Systems.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Lattice-Valued Kripke Structures Based on Complete Residuated Lattice.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

Bisimilarity for fuzzy doubly Labeled Transition Systems.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Quantitative Logic and Soft Computing, 2012

2011

Approximate Bisimulation for Metric Doubly Labeled Transition System.

Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Approximate Simulation for Metric Hybrid Input/Output Automata.

Haiyu Pan, Min Zhang, Yixiang Chen

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011