151 search results - page 3 / 31 » Model Checking Hybrid Multiagent Systems for the RoboCup |
AAAI
2000
13 years 6 months ago
2000
As applications for artificially intelligent agents increase in complexity we can no longer rely on clever heuristics and hand-tuned behaviors to develop their programming. Even t...
ATAL
2009
Springer
13 years 12 months ago
2009
Springer
Decentralised coordination in multi-agent systems is typically achieved using communication. However, in many cases, communication is expensive to utilise because there is limited...
PROMAS
2007
Springer
13 years 11 months ago
2007
Springer
CORR
2010
Springer
13 years 2 months ago
2010
Springer
This report outlines the use of a relational representation in a Multi-Agent domain to model the behaviour of the whole system. A desired property in this systems is the ability of...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
