Computation tree logic model checking based on possibility measures

DOI10.1016/j.fss.2014.03.009zbMath1361.68148DBLPjournals/fss/LiLM15arXiv1401.4658OpenAlexW2015370791WikidataQ62038107 ScholiaQ62038107MaRDI QIDQ529055

Ya-Li Li, Zhanyou Ma, Yong-Ming Li

Publication date: 18 May 2017

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1401.4658

zbMATH Keywords

computation tree logicpossibility measurepossibilistic Kripke structurequalitative propertyquantitative property

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (10)

Model checking computation tree logic over finite lattices ⋮ Quantitative model checking of linear-time properties based on generalized possibility measures ⋮ Computation tree logic model checking based on multi-valued possibility measures ⋮ Model checking fuzzy computation tree logic ⋮ On characterization of fuzzy tree pushdown automata ⋮ Model checking of linear-time properties in multi-valued systems ⋮ TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS ⋮ Coherent checking and updating of Bayesian models without specifying the model space: a decision-theoretic semantics for possibility theory ⋮ Lattice-valued tree pushdown automata: pumping lemma and closure properties ⋮ Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler

Cites Work

• Unnamed Item
• Unnamed Item
• Probabilistic model checking of biological systems with uncertain kinetic rates
• Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
• Possibility theory and statistical reasoning
• Processor power considerations - an application of fuzzy Markov chains
• Default reasoning and possibility theory
• Fuzzy sets as a basis for a theory of possibility
• A qualitative fuzzy possibilistic logic
• Applying model-checking to solve queries on semistructured data
• Probabilities, possibilities, and fuzzy sets
• Fuzzy measures and integrals. Theory and applications
• Possibility theory, probability theory and multiple-valued logics: a clarification
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Probabilistic propositional temporal logics
• Interpolants and Symbolic Model Checking
• Fuzzy sets

This page was built for publication: Computation tree logic model checking based on possibility measures