1454 search results - page 109 / 291 » Stateful traits and their formalization |
111
click to vote
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
This paper presents the dynamics of multi-agent reinforcement learning in multiple state problems. We extend previous work that formally modelled the relation between reinforcemen...
118
Voted
NSDI
2004
15 years 2 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
81
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
118
Voted
ICTAI
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...
121
Voted
ENTCS
2010
14 years 10 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...