Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014
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,…
cs.LO2014
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…