158 search results - page 2 / 32 » Model Checking for PRS-Like Agents |
AUSAI
2005
Springer
13 years 10 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
DALT
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
ATAL
2006
Springer
13 years 9 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
DALT
2004
Springer
13 years 10 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
PROMAS
2007
Springer
13 years 11 months ago
2007
Springer
