Larsen, Kim G.
[VerfasserIn];
Fahrenberg, Uli
[VerfasserIn];
Thrane, Claus
[VerfasserIn]
;
Kim G. Larsen and Uli Fahrenberg and Claus Thrane
[MitwirkendeR]
A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic
Anmerkungen:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Beschreibung:
We extend the usual notion of Kripke Structures with a weighted transition relation, and generalize the usual Boolean satisfaction relation of CTL to a map which assigns to states and temporal formulae a real-valued distance describing the degree of satisfaction. We describe a general approach to obtaining quantitative interpretations for a generic extension of the CTL syntax, and show that, for one such interpretation, the logic is both adequate and expressive with respect to quantitative bisimulation.