Model checking fuzzy computation tree logic

DOI10.1016/j.fss.2014.07.008zbMath1360.68595OpenAlexW2061636055MaRDI QIDQ529056

Haiyu Pan, Zhanyou Ma, Yongzhi Cao, 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://doi.org/10.1016/j.fss.2014.07.008

zbMATH Keywords

fuzzy logicmodel checkingtemporal logictriangular normcomputation tree logic

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 (6)

Model checking computation tree logic over finite lattices ⋮ Quantitative model checking of linear-time properties based on generalized possibility measures ⋮ Symbolic checking of fuzzy CTL on fuzzy program graph ⋮ On characterization of fuzzy tree pushdown automata ⋮ TREE AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED LOGIC: REDUCTION ALGORITHM AND DECISION PROBLEMS ⋮ Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler

Uses Software

• ACTLW

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-valued model checking games
• Bisimulations for fuzzy automata
• Computation tree logic model checking based on possibility measures
• On the failure of the finite model property in some fuzzy description logics
• Computation of the greatest simulations and bisimulations between fuzzy automata
• Weighted automata and multi-valued logics over arbitrary bounded lattices
• Data structures for symbolic multi-valued model-checking
• Automata theory based on complete residuated lattice-valued logic
• Fuzzy description logics with general t-norms and datatypes
• On standard models of fuzzy modal logics
• Model checking for action-based logics
• A logic for reasoning about time and reliability
• Triangular norms
• Approximation and robustness of fuzzy finite automata
• A fuzzy real-time temporal logic
• Making fuzzy description logic more general
• ACTLW -- an action-based computation tree logic with unless operator
• Model checking discounted temporal properties
• Fuzzy Time in Linear Temporal Logic
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• An action-based framework for veryfying logical and behavioural properties of concurrent systems
• On Metric Temporal Łukasiewicz Logic
• Automata, Languages and Programming
• CONCUR 2003 - Concurrency Theory

This page was built for publication: Model checking fuzzy computation tree logic