3677 search results - page 592 / 736 » Generalized Adaptive A* |
168
Voted
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
214
click to vote
ATAL
2010
Springer
2010
Springer
UAV swarm coordination using cooperative control for establishing a wireless communications backbone
15 years 8 months ago
In this paper, we present a mechanism to fly a swarm of UAVs with the aim of establishing a wireless backbone over a pre-specified area. The backbone is aimed at connecting interm...
182
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
A Markov Decision Process (MDP) is a general model for solving planning problems under uncertainty. It has been extended to multiobjective MDP to address multicriteria or multiagen...
169
click to vote
FSTTCS
2008
Springer
15 years 8 months ago
2008
Springer
We consider an extension of Church’s synthesis problem to ordinals by adding limit transitions to graph games. We consider game arenas where these limit transitions are defined...
174
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
We attack the problem of game balancing by using a coevolutionary algorithm to explore the space of possible game strategies and counter strategies. We define balanced games as g...