Verifying time, memory and communication bounds in systems of reasoning agents
- N. Alechina
- , B. Logan
- , N.H. Nga
- , A. Rakib
- University of Nottingham
Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review
13
Link opens in a new tab
Citations
(Scopus)