Quantitative model checking of linear-time properties based on generalized possibility measures

DOI10.1016/j.fss.2017.03.012zbMath1382.68143arXiv1601.06504OpenAlexW2272217514MaRDI QIDQ1697514

Yong-Ming Li

Publication date: 20 February 2018

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

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

zbMATH Keywords

possibility theorymodel checkinglinear temporal logicfuzzy finite automatonfuzzy regular languagegeneralized possibilistic Kripke structure

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

Fuzzy alternating Büchi automata over distributive lattices ⋮ Characterization and computation of approximate bisimulations for fuzzy automata ⋮ Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them ⋮ Computation tree logic model checking based on multi-valued possibility measures ⋮ Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures ⋮ Coherent checking and updating of Bayesian models without specifying the model space: a decision-theoretic semantics for possibility theory ⋮ Fuzzy alternating automata over distributive lattices ⋮ Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler ⋮ Towards Contingent World Descriptions in Description Logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Computation tree logic model checking based on possibility measures
• Model checking fuzzy computation tree logic
• Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
• Data structures for symbolic multi-valued model-checking
• Possibility theory and statistical reasoning
• Default reasoning and possibility theory
• Fuzzy sets as a basis for a theory of possibility
• Probabilities, possibilities, and fuzzy sets
• Fuzzy measures and integrals. Theory and applications
• A fuzzy real-time temporal logic
• Fuzzy regular languages over finite and infinite words
• Model checking discounted temporal properties
• Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
• Fuzzy Time in Linear Temporal Logic
• Probabilistic propositional temporal logics
• Discounting in LTL
• Fuzzy sets

This page was built for publication: Quantitative model checking of linear-time properties based on generalized possibility measures