Symbolic Model Checking for One-Resource RB+-ATL (2015)
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