Generalized possibility computation tree logic with frequency and its model checking

DOI10.1016/j.ijar.2024.109249MaRDI QIDQ6596703

Wuniu Liu, Yong-Ming Li, Qing He

Publication date: 2 September 2024

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

zbMATH Keywords

frequencypossibility theorymodel checkingfuzzy temporal operatorgeneralized possibility computation tree logic with frequency \((\mathrm{GPoCTL_F})\)

Mathematics Subject Classification ID

Artificial intelligence (68Txx) Theory of computing (68Qxx) General logic (03Bxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lattice-valued simulations for quantitative transition systems
• Nondeterministic fuzzy automata with membership values in complete residuated lattices
• Computation tree logic model checking based on possibility measures
• Model checking fuzzy computation tree logic
• Possibility theory and statistical reasoning
• Fuzzy sets as a basis for a theory of possibility
• Quantitative model checking of linear-time properties based on generalized possibility measures
• Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler
• Computation tree logic model checking based on multi-valued possibility measures
• Approximation and robustness of fuzzy finite automata
• Possibility theory, probability theory and multiple-valued logics: a clarification
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Possibilistic Semantics for a Modal KD45 Extension of Gödel Fuzzy Logic
• Finding All the Elementary Circuits of a Directed Graph
• On Frequency LTL in Probabilistic Systems
• Fuzzy sets
• Reasoning about knowledge and conditional probability
• The transport problem for non-additive measures

This page was built for publication: Generalized possibility computation tree logic with frequency and its model checking