On the Boundary of (Un)Decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic (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-214.html

Type: Conference/Paper/Proceeding/Abstract