Verifying time, memory and communication bounds in systems of reasoning agents

2009

Natasha Alechina, Brian Logan, Hoang Nguyen, Abdur Rakib

Synthese 169 (2)