Verifying time, memory and communication bounds in systems of reasoning agents - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. Verifying time, memory and communication bounds in systems of reasoning agents. In Lin Padgham, David C. Parkes, Jörg Müller, Simon Parsons, editors, 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12-16, 2008, Volume 2. pages 736-743, IFAAMAS, 2008. [doi]

This author has not been identified. Look up 'Natasha Alechina' in GoogleThis author has not been identified. Look up 'Brian Logan' in GoogleThis author has not been identified. Look up 'Nguyen Hoang Nga' in GoogleThis author has not been identified. Look up 'Abdur Rakib' in Google

runs on WebDSL