Symbolic model checking for one-resource RB±ATL

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Symbolic model checking for one-resource RB±ATL. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). In: 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 25-31 Jul 2015, Buenos Aires, Argentina. ISBN 9781577357384.

[img]
Preview
PDF - Final accepted version (with author's formatting)
Download (324kB) | Preview
Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 18939
Useful Links:
Depositing User: Franco Raimondi
Date Deposited: 02 Mar 2016 11:20
Last Modified: 31 May 2019 11:32
URI: https://eprints.mdx.ac.uk/id/eprint/18939

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