Fischer , Diana ;
Grädel, Erich ;
Kaiser, Lukasz
Model Checking Games for the Quantitative µCalculus
Abstract
We investigate quantitative extensions of modal logic and the modal
$mu$calculus, and study the question whether the tight connection
between logic and games can be lifted from the qualitative logics
to their quantitative counterparts. It turns out that, if the
quantitative $mu$calculus is defined in an appropriate way
respecting the duality properties between the logical operators,
then its model checking problem can indeed be characterised by a
quantitative variant of parity games. However, these quantitative
games have quite different properties than their classical
counterparts, in particular they are, in general, not positionally
determined. The correspondence between the logic and the games
goes both ways: the value of a formula on a quantitative transition
system coincides with the value of the associated quantitative
game, and conversely, the values of quantitative parity games are
definable in the quantitative $mu$calculus.
BibTeX  Entry
@InProceedings{fischer_et_al:LIPIcs:2008:1352,
author = {Diana Fischer and Erich Gr{\"a}del and Lukasz Kaiser},
title = {{Model Checking Games for the Quantitative {$mu$}Calculus}},
booktitle = {25th International Symposium on Theoretical Aspects of Computer Science},
pages = {301312},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {9783939897064},
ISSN = {18688969},
year = {2008},
volume = {1},
editor = {Susanne Albers and Pascal Weil},
publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2008/1352},
URN = {urn:nbn:de:0030drops13525},
doi = {http://dx.doi.org/10.4230/LIPIcs.STACS.2008.1352},
annote = {Keywords: Games, logic, model checking, quantitative logics}
}
2008
Keywords: 

Games, logic, model checking, quantitative logics 
Seminar: 

25th International Symposium on Theoretical Aspects of Computer Science

Related Scholarly Article: 


Issue date: 

2008 
Date of publication: 

2008 