A quantitative characterization of weighted Kripke structures in temporal logic

DOI10.4230/DROPS.MEMICS.2009.2345MaRDI QIDQ2917301zbMATH OpenOpenAlexFDO

Authors Uli Fahrenberg, Claus Thrane, Kim G. Larsen

Publication date 28 September 2012

Full work available at URL https://drops.dagstuhl.de/opus/volltexte/2009/2345/pdf/09006.FahrenberUli.2345.pdf

zbMATH Keywords

bisimulation distancecharacteristic formulaeKripke structuresquantitative analysisweighted CTL

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A quantitative characterization of weighted Kripke structures in temporal logic
• Quantitative Verification of Weighted Kripke Structures
• A branching time temporal framework for quantitative reasoning
• Quantitative analysis of weighted transition systems
• Weighted versus Probabilistic Logics

Cited in

(11)

• Characterizing finite Kripke structures in propositional temporal logic
• A branching time temporal framework for quantitative reasoning
• Weighted propositional configuration logics: a specification language for architectures with quantitative features
• Quantitative -calculus and CTL based on constraint semirings
• A quantitative characterization of weighted Kripke structures in temporal logic
• Quantitative approach for linear temporal logic based on DTMC
• Quantitative Verification of Weighted Kripke Structures
• Weight monitoring with linear temporal logic
• A quantitative approach for linear temporal logic based on finite transition systems
• On the Verification of Weighted Kripke Structures Under Uncertainty
• Quantitative analysis of weighted transition systems

This page was built for publication: A quantitative characterization of weighted Kripke structures in temporal logic

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