567 search results - page 44 / 114 » Stochastic Game Logic |
CSL
2008
Springer
13 years 10 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...
DAGSTUHL
2006
13 years 10 months ago
2006
FSS
2007
13 years 9 months ago
2007
SYNTHESE
2008
13 years 9 months ago
2008
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...