17 search results - page 4 / 4 » On Stateless Multicounter Machines |
LAMAS
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we report on using a relational state space in multi-agent reinforcement learning. There is growing evidence in the Reinforcement Learning research community that a r...
ENTCS
2006
13 years 4 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...