An application of intuitionistic fuzzy model checking in engineering decision

MaRDI QIDQ5129672zbMATH OpenFDO

Authors

Publication date 27 October 2020

zbMATH Keywords

model checkingengineering decisionweighted intuitionistic fuzzy Kripke structure

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Fuzzy logic; logic of vagueness (03B52) Specification and verification (program logics, model checking, etc.) (68Q60) Fuzzy and other nonstochastic uncertainty mathematical programming (90C70)

Recommendations

• MODELS FOR MULTIPLE ATTRIBUTE DECISION MAKING WITH INTUITIONISTIC FUZZY INFORMATION
• Multiattribute decision making models and methods using intuitionistic fuzzy sets
• Intuitionistic fuzzy entropy and a weighted decision making algorithm
• Projection models for intuitionistic fuzzy multiple attribute decision making
• scientific article; zbMATH DE number 1251522

This page was built for publication: An application of intuitionistic fuzzy model checking in engineering decision

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