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