32 search results - page 2 / 7 » Probabilistic analysis of simulation-based games |
130
Voted
ENTCS
2006
15 years 2 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
85
Voted
TOMACS
2010
15 years 1 months ago
2010
131
click to vote
FORMATS
2009
Springer
15 years 6 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...
108
click to vote
MOBIHOC
2001
ACM
16 years 2 months ago
2001
ACM
In this paper we consider the following problem for ad hoc networks: assume that n nodes are distributed in a d-dimensional region, with 1d3, and assume that all the nodes have th...
117
Voted
TCIAIG
2010
14 years 9 months ago
2010
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...