collaborators

1 paper

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…