135
Voted
ATAL
15 years 6 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-...
135
Voted
ATAL
15 years 4 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 ...
130
click to vote
ATAL
15 years 6 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...
130
Voted
ATAL
15 years 4 months ago
2004 Springer 
We investigate the application of a low-cost, pervasively distributed network to plan paths for mobile robots in environments with dynamic obstacles. We consider a heterogeneous s...
129
Voted
ATAL
15 years 6 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...
|
Intelligent Agents