Symbolic model-checking for resource-bounded ATL

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco and Mostarda, Leonardo (2015) Symbolic model-checking for resource-bounded ATL. In: 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, 4-8 May 2015, Istanbul, Turkey.

PDF - Final accepted version (with author's formatting)
Download (462kB) | Preview
Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 18941
Depositing User: Franco Raimondi
Date Deposited: 02 Mar 2016 11:25
Last Modified: 31 May 2019 10:18

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year