Quantitative analysis of lattice-valued Kripke structures

DOI10.3233/FI-2014-1122MaRDI QIDQ5259293zbMATH OpenOpenAlexFDO

Authors Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen

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

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)

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

Cited in

(9)

• The approximate correctness of systems based on \(\delta\)-bisimulation
• Latticed simulation relations and games
• Quantitative Verification of Weighted Kripke Structures
• Quantitative analysis of software approximate correctness
• Fuzzy alternating Büchi automata over distributive lattices
• scientific article; zbMATH DE number 6795378 (Why is no real title available?)
• 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)