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

Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Rakib Abdur

Research output: Contribution to journalArticlepeer-review

8 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Verifying time, memory and communication bounds in systems of reasoning agents'. Together they form a unique fingerprint.

Computer Science