151 search results - page 25 / 31 » On complexity of verification of interacting agents' behavio... |
171
click to vote
AIM
2006
15 years 6 months ago
2006
maintain awareness of its environment for a long period of time. Additionally, knowledge-intensive agents must be engineered such that their knowledge can be easily updated as envi...
154
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents MADeM, a multi-modal agent decision making to provide virtual agents with socially acceptable decisions. We consider multi-modal decisions as those that are ab...
170
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We consider a multiagent resource allocation domain where the marginal production of each resource is diminishing. A set of identical, self-interested agents requires access to sh...
188
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
168
click to vote
OOPSLA
2000
Springer
15 years 9 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...