4962 search results - page 647 / 993 » Stochastic Model Checking |
167
click to vote
IPSN
2004
Springer
15 years 11 months ago
2004
Springer
Due to constraints in cost, power, and communication, losses often arise in large sensor networks. The sensor can be modeled as an output of a linear stochastic system with random...
172
click to vote
MSWIM
2003
ACM
15 years 11 months ago
2003
ACM
Errors introduced by a wireless medium are more frequent and profound than contemporary wired media. Some of these errors, which are not corrected by the physical layer, result in...
158
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The application of reinforcement learning algorithms to Partially Observable Stochastic Games (POSG) is challenging since each agent does not have access to the whole state inform...
156
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
176
click to vote
HASE
2007
IEEE
16 years 18 days ago
2007
IEEE
Electric Power Systems (EPS) become more and more critical for our society, since they provide vital services for the human activities. At the same time, obtaining dependable beha...