Symbolic Model-checking for Resource-Bounded ATL (2015)

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

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://dl.acm.org/citation.cfm?id=2773448

Type: Conference/Paper/Proceeding/Abstract