Some properties of computation tree logic under possibility measures

MaRDI QIDQ5167649zbMATH OpenFDO

Authors Yali Li, Yongming Li

Publication date 30 June 2014

zbMATH Keywords

computation tree logicequivalence propertypossibilistic Kripke structure

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logic in computer science (03B70) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Computation tree logic model checking based on possibility measures
• scientific article; zbMATH DE number 6454071
• Quantified computation tree logic
• Computation tree logic model checking based on multi-valued possibility measures
• Validation of Stochastic Systems

Cited in

(2)

• Fixed-point semantics of computation tree logic based on generalized possibility measures
• Computation tree logic model checking based on possibility measures

This page was built for publication: Some properties of computation tree logic under possibility measures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5167649)