201
click to vote
ATAL
15 years 11 months ago
2004 Springer 
We will demonstrate the Secure Wireless Agent Testbed (SWAT), a unique facility developed at Drexel University to study integration, networking and information assurance for next-...
200
click to vote
ATAL
15 years 10 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 ...
196
click to vote
ATAL
15 years 11 months ago
2004 Springer 
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
192
click to vote
ATAL
15 years 11 months ago
2004 Springer
This paper is concerned with merging globally rigid formations of mobile autonomous agents. A key element in all future multi-agent systems will be the role of sensor and communic...
192
click to vote
ATAL
15 years 11 months ago
2004 Springer
Abstract. In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ abilit...
|
Intelligent Agents