Symbolic model checking for one-resource RB±ATL

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco (2015) Symbolic model checking for one-resource RB±ATL. In: 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 25-31 Jul 2015, Buenos Aires, Argentina.

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
ISBN: 9781577357384

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