86 search results - page 1 / 18 » Debugging and Verification of Multi-Agent Systems |
EUROCAST
2009
Springer
15 years 6 months ago
2009
Springer
131
Voted
ESAW
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
136
click to vote
ESWS
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
132
click to vote
CAV
2009
Springer
15 years 4 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
109
Voted
BIRTHDAY
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...