82 citations · 179 across the 16 of their papers we have counts for
6 papers · 1 filter
Quantitative Model Checking of Linear-Time Properties Based on Generalized Possibility Measures
Yongming Li
Model checking of linear-time properties based on possibility measures was studied in previous work (Y. Li and L. Li, Model checking of linear-time properties based on possibility…
Exogenous Quantum Operator Logic Based on Density Operators
Yunguo Lin, Yongming Li
Although quantum logic by using exogenous approach has been proposed for reasoning about closed quantum systems, an improvement would be worth to study quantum logic based on densi…
Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures
Yongming Li, Zhanyou Ma
We study generalized possibilistic computation tree logic model checking in this paper, which is an extension of possibilistic computation logic model checking introduced by Y.Li,…
Computation Tree Logic Model Checking Based on Possibility Measures
Yongming Li, Yali Li, Zhanyou Ma
In order to deal with the systematic verification with uncertain infromation in possibility theory, Li and Li \cite{li12} introduced model checking of linear-time properties in whi…
Model-Checking of Linear-Time Properties Based on Possibility Measure
Yongming Li, Lijun Li
We study the LTL model-checking in possibilistic Kripke structure using possibility measure. First, the notion of possibilistic Kripke structure and the related possibility measure…
Finite Automata Based on Quantum Logic and Their Determinization
Yongming Li
We give the quantum subset construction of orthomodular lattice-valued finite automata, then we show the equivalence between orthomodular lattice-valued finite automata, orthomodul…