Sciweavers

658 search results - page 28 / 132
» Multiagent Systems in Information-Rich Environments
Sort
View
ROBOCUP
2007
Springer
159views Robotics» more  ROBOCUP 2007»
14 years 2 months ago
Model Checking Hybrid Multiagent Systems for the RoboCup
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...
ATAL
2008
Springer
13 years 10 months ago
Electronic institutions development environment
In this paper we present the Electronic Institutions Development Environment (EIDE) to support the engineering of multiagent systems as Electronic Institutions. An electronic inst...
Marc Esteva, Juan A. Rodríguez-Aguilar, Jos...
WRAC
2005
Springer
14 years 2 months ago
Distributed Agent Evolution with Dynamic Adaptation to Local Unexpected Scenarios
Abstract. This paper introduces a novel framework for designing multiagent systems, called “Distributed Agent Evolution with Dynamic Adaptation to Local Unexpected Scenarios” (...
Suranga Hettiarachchi, William M. Spears, Derek Gr...
ENTCS
2006
136views more  ENTCS 2006»
13 years 8 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
IRI
2006
IEEE
14 years 2 months ago
Environment as support for simplification, reuse and integration of processes in spatial MAS
The development of solutions to complex problems requires finding answers to several questions which are obstacles on the road leading to the solution. To perpetuate progress, the...
Denis Payet, Rémy Courdier, Nicolas S&eacut...