ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We consider a heterogeneous swarm consisting of aerial and wheeled robots. We present a system that enables spatially targeted communication. Our system enables aerial robots to e...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Ant robots have very low computational power and limited memory. They communicate by leaving pheromones in the environment. In order to create a cooperative intelligent behavior, ...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
In this paper, we study a particular subclass of partially observable models, called quasi-deterministic partially observable Markov decision processes (QDET-POMDPs), characterize...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Robotic swarms, like all spatial computers, are a challenging environment for the execution of distributed consensus algorithms due to their scale, diameter, and frequent failures...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
ATAL
2010
Springer
13 years 11 months ago
2010
Springer