A quantitative characterization of weighted Kripke structures in temporal logic

DOI10.4230/DROPS.MEMICS.2009.2345zbMath1247.68189OpenAlexW2107940210MaRDI QIDQ2917301

Uli Fahrenberg, Claus Thrane, Kim Guldstrand 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

Kripke structurescharacteristic formulaequantitative analysisweighted CTLbisimulation distance

Mathematics Subject Classification ID

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

Related Items (1)

Quantitative analysis of weighted transition systems

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