Verifying Existence of Resource-Bounded Coalition Uniform Strategies

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://www.ijcai.org/Proceedings/16/Papers/011.pdf

Type: Book Chapter

Book Title: Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2016) (2016)

Page Reference: 24-30

ISBN: 978-1-57735-770-4