ATAL
2010
Springer
15 years 2 days 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
15 years 2 days ago
2010
Springer
ATAL
2010
Springer
15 years 2 days 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
15 years 2 days 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
15 years 2 days 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
15 years 2 days ago
2010
Springer
ATAL
2010
Springer
15 years 2 days ago
2010
Springer
101
click to vote
ATAL
2010
Springer
15 years 2 days 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
15 years 2 days ago
2010
Springer
ATAL
2010
Springer
15 years 2 days ago
2010
Springer