2317 search results - page 90 / 464 » Model based testing for agent systems |
179
click to vote
EATIS
2009
ACM
15 years 6 months ago
2009
ACM
In this paper, we describe our work in developing an agent based smart house platform using TAOM4E development methodology and the JADE-platform with the Jadex-extension. In order...
164
Voted
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
122
click to vote
RIVF
2003
15 years 4 months ago
2003
— Game theory models and analyzes the situations of conflict and cooperation among independent decision-makers. We can view the runs of a multi-agent system as a game where the ...
145
click to vote
AGENTS
1997
Springer
15 years 7 months ago
1997
Springer
This paper introduces a 3D simulation environment for experiments with behavior-based autonomous agents. The virtual laboratory INSIGHT allows the user to design and run a great v...
172
click to vote
RR
2009
Springer
15 years 7 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...