Quantitative analysis of lattice-valued Kripke structures

DOI10.3233/FI-2014-1122zbMATH Open1354.03028OpenAlexW1568513899MaRDI QIDQ5259293FDOQ5259293

Hengyang Wu, Haiyu Pan, Yixiang Chen, Min Zhang

Publication date: 26 June 2015

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-1122

Recommendations

• Latticed simulation relations and games
• Latticed Simulation Relations and Games
• Simulation for lattice-valued doubly labeled transition systems
• scientific article; zbMATH DE number 6795378
• Model checking computation tree logic over finite lattices

zbMATH Keywords

linear temporal logicresiduated latticeHeyting algebratrace semanticslattice-valued Kripke structures

Mathematics Subject Classification ID

Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Temporal logic (03B44) Other algebras related to logic (03G25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Heyting algebras (lattice-theoretic aspects) (06D20)

Cited In (9)

• Latticed simulation relations and games
• The approximate correctness of systems based on \(\delta\)-bisimulation
• Quantitative Verification of Weighted Kripke Structures
• Quantitative analysis of software approximate correctness
• Fuzzy alternating Büchi automata over distributive lattices
• Title not available (Why is that?)
• Fuzzy alternating automata over distributive lattices
• Latticed Simulation Relations and Games
• Nondeterministic fuzzy automata with membership values in complete residuated lattices

This page was built for publication: Quantitative analysis of lattice-valued Kripke structures

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