License
when quoting this document, please refer to the following
DOI: 10.4230/DROPS.MEMICS.2009.2345
URN: urn:nbn:de:0030-drops-23454
URL: http://drops.dagstuhl.de/opus/volltexte/2009/2345/
Larsen, Kim G. ; Fahrenberg, Uli ; Thrane, Claus

A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic

pdf-format:
Dokument 1.pdf (574 KB)

Abstract

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.

BibTeX - Entry

@InProceedings{larsen_et_al:OASIcs:2009:2345,
  author =	{Kim G. Larsen and Uli Fahrenberg and Claus Thrane},
  title =	{A Quantitative Characterization of Weighted Kripke Structures in Temporal Logic},
  booktitle =	{Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-15-6},
  ISSN =	{2190-6807},
  year =	{2009},
  volume =	{13},
  editor =	{Petr Hlinen{\'y} and V{\'a}clav Maty{\'a}{\v{s}} and Tom{\'a}{\v{s}} Vojnar},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2009/2345},
  URN =		{urn:nbn:de:0030-drops-23454},
  doi =		{http://dx.doi.org/10.4230/DROPS.MEMICS.2009.2345},
  annote =	{Keywords: Quantitative analysis, Kripke structures, characteristic formulae, bisimulation distance, weighted CTL}
}

Keywords: Quantitative analysis, Kripke structures, characteristic formulae, bisimulation distance, weighted CTL
Seminar: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09)
Issue date: 2009
Date of publication: 15.12.2009

DROPS-Home | Fulltext Search | Imprint Published by LZI