165
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 ...
159
click to vote
ATAL
15 years 9 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...
158
click to vote
ATAL
15 years 9 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-...
158
click to vote
ATAL
15 years 9 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...
154
click to vote
ATAL
15 years 9 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