6 search results - page 2 / 2 » Distributed BDD-based BMC for the verification of multi-agen... |
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...