Symbolic Model Checking for One-Resource RB+-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://ijcai.org/papers15/Abstracts/IJCAI15-155.html

Type: Conference/Paper/Proceeding/Abstract