460 search results - page 8 / 92 » Abstraction in model checking multi-agent systems |
ATAL
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. A framework for cooperative goal-satisfaction in large-scale MultiAgent Systems (MAS) is presented in this paper. This is performed by demonstrating the applicability of ...
LADS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems. DCaseLP provides tools and languages for modelling and implementing a MAS ...
FORTE
2010
13 years 9 months ago
2010
cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
E4MAS
2006
Springer
13 years 11 months ago
2006
Springer
Indirect interactions have been shown to be of interest in MultiAgent Systems (MAS), in the simulation area as well as in real apns. The environment is also emerging as a first-ord...