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]
|
PDF
- Final accepted version (with author's formatting)
Download (462kB) | Preview |
Official URL: http://dl.acm.org/citation.cfm?id=2773448
| 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: | 29 Nov 2022 22:50 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/18941 |
Actions (login required)
 |
View Item |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)