Symbolic model-checking for resource-bounded ATL

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Mostarda, Leonardo (2015) Symbolic model-checking for resource-bounded ATL. Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. In: 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, 4-8 May 2015, Istanbul, Turkey. . [Conference or Workshop Item]

[img]
Preview
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
URI: https://eprints.mdx.ac.uk/id/eprint/18941

Actions (login required)

View Item View Item