567 search results - page 21 / 114 » Stochastic Game Logic |
FORMATS
2009
Springer
13 years 11 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
CAAN
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Random graphs with given expected degrees G(w) were introduced by Chung and Lu so as to extend the theory of classical G(n, p) random graphs to include random power law g...
STACS
2009
Springer
14 years 2 months ago
2009
Springer
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
ATAL
2005
Springer
14 years 1 months ago
2005
Springer