813 search results - page 26 / 163 » Correctness Properties for Multiagent Systems |
134
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
149
Voted
E4MAS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A reference architecture integrates a set of architectural patterns that have proven their value for a family of applications. Such family of applications is characterize...
142
click to vote
AAMAS
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we propose a multi-agent system modeling language (MAS-ML) that extends UML (Unified Modeling Language) based on structural and dynamic properties presented in a conc...
111
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
166
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...