813 search results - page 84 / 163 » Correctness Properties for Multiagent Systems |
132
Voted
FM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
137
Voted
SPIN
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
134
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
We investigate the properties of a multiagent system where each (distributed) agent locally perceives its environment. Upon perception of an unexpected event, each agent locally c...
117
Voted
ROBOCUP
2001
Springer
15 years 8 months ago
2001
Springer
Team strategy acquisition is one of the most important issues of multiagent systems, especially in an adversary environment. RoboCup has been providing such an environment for AI a...
118
Voted
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Argumentation has received steadily increasing attention in the multi-agent systems community over the past decade, with particular interest in the use of argument models from the ...