Affiliations: School of Electro-Mechanical Engineering, Xidian University, Xi’an, P.R. China
Correspondence:
[*]
Corresponding author. Li Zhi, School of Electro-Mechanical Engineering, Xidian University, NO. 2 South Taibai Road, Yanta District, Xi’an 710071, P.R. China. Tel.: +86 13389202884; E-mail: zhli@xidian.edu.cn.
Note: [1] This paper was supported by the National Natural Science Foundation of China (Grant: 61673310).
Abstract: By considering the multi-valued bisimulation quotients, smaller multi-valued models are obtained. This minimization can be exploited for efficient multi-valued model checking. In this paper, we illustrate an application of the multi-valued bisimulation quotients. Further, we present some definitions of partitions of multi-valued Kripke structures. Finally, as the main contribution, in order to generate the multi-valued bisimulation quotient, we provide a series of algorithms and analysis the time complexity of it.
