1299 search results - page 5 / 260 » Quantitative Simulation Games |
CSL
2008
Springer
15 years 1 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
QEST
2008
IEEE
15 years 6 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
83
Voted
ICALP
2010
Springer
15 years 3 months ago
2010
Springer
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)...
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
