Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib (2008). "Verifying time, memory and communication bounds in systems of reasoning agents." Proceedings of the Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008) (pp. 736-743).
| |
|
|