A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic: Best Paper Award

Kim Guldstrand Larsen, Claus Rørbæk Thrane, Uli Fahrenberg

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Abstrakt

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.
OriginalsprogEngelsk
TitelAnnual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ForlagSchloss Dagstuhl. Leibniz-Zentrum für Informatik
Publikationsdato2009
ISBN (Trykt)978-3-939897-15-6
StatusUdgivet - 2009
BegivenhedAnnual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09) - Znojmo, Tjekkiet
Varighed: 13 nov. 200915 nov. 2009

Konference

KonferenceAnnual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
LandTjekkiet
ByZnojmo
Periode13/11/200915/11/2009

Emneord

  • quantitative analysis
  • Krikpe structures
  • characteristic formula
  • bisimulation distance
  • weighted CTL

Fingeraftryk Dyk ned i forskningsemnerne om 'A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic: Best Paper Award'. Sammen danner de et unikt fingeraftryk.

Citationsformater