Alternating-time temporal logic with resource bounds (2015)

First Author: Nguyen H.N.
Attributed to:  Verification of resource-bounded multi-agent systems (VRBMAS) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://logcom.oxfordjournals.org/content/early/2015/06/12/logcom.exv034.full.pdf+html?sid=3a119d50-fa14-4df0-ba87-1f04772f54ce

Type: Journal Article/Review

Parent Publication: Journal of Logic and Computation