20 search results - page 1 / 4 » Reuse and Abstraction in Verification: Agents Acting in Dyna... |
AOSE
2000
Springer
13 years 9 months ago
2000
Springer
WOA
2001
13 years 6 months ago
2001
Acting in a dynamic environment is a complex task that requires several issues to be investigated, with the aim of controlling the associated search complexity. In this paper, a l...
ATAL
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Multi-agent domains consisting of teams of agents that need to collaborate in an adversarial environment offer challenging research opportunities. In this paper, we intro...
ATC
2006
Springer
13 years 6 months ago
2006
Springer
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
KI
1997
Springer
13 years 9 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....