6 search results - page 2 / 2 » Hector: Software Model Checking with Cooperating Analysis Pl... |
CLIMA
2011
12 years 5 months ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...