Multi-valued bisimulation quotienting algorithms

[1]  Yuxin Deng,et al.  Logical characterizations of simulation and bisimulation for fuzzy transition systems , 2016, Fuzzy Sets Syst..

[2]  Yixiang Chen,et al.  Quantitative Analysis of Lattice-valued Kripke Structures , 2014, Fundam. Informaticae.

[3]  Micha Sharir,et al.  Probabilistic Propositional Temporal Logics , 1986, Inf. Control..

[4]  Marsha Chechik,et al.  Multi-valued symbolic model-checking , 2003, TSEM.

[5]  Yuan Feng,et al.  Model checking quantum Markov chains , 2012, J. Comput. Syst. Sci..

[6]  Etienne E. Kerre,et al.  Bisimulations for Fuzzy-Transition Systems , 2010, IEEE Transactions on Fuzzy Systems.

[7]  Qiu Daowen,et al.  Automata theory based on complete residuated lattice-valued logic , 2001 .

[8]  Marsha Chechik,et al.  Model-checking infinite state-space systems with fine-grained abstractions using SPIN , 2001, SPIN '01.

[9]  Yongming Li,et al.  Model Checking of Linear-Time Properties Based on Possibility Measure , 2012, IEEE Transactions on Fuzzy Systems.

[10]  Yongming Li,et al.  Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures , 2014, IEEE Transactions on Fuzzy Systems.

[11]  Yongming Li,et al.  Computation Tree Logic Model Checking Based on Possibility Measures , 2014, Fuzzy Sets Syst..

[12]  Manfred Droste,et al.  Model checking of linear-time properties in multi-valued systems , 2012, Inf. Sci..

[13]  A. Tarski,et al.  Boolean Algebras with Operators , 1952 .

[14]  Yixiang Chen,et al.  Bisimulation for Lattice-valued Transition Systems , 2012, 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering.

[15]  Tomás Kroupa.  States in Łukasiewicz logic correspond to probabilities of rational polyhedra , 2012, Int. J. Approx. Reason..

[16]  L. Bolc,et al.  Many-Valued Logics , 1992 .