164
Voted
ATAL
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 ...
155
Voted
ATAL
15 years 8 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-...
154
click to vote
ATAL
15 years 8 months ago
2004 Springer 
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’ ability to conf...
154
click to vote
ATAL
15 years 8 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...
151
click to vote
ATAL
15 years 8 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...
|
Intelligent Agents