Items where Author / Artist / Editor is "Wooldridge, Michael"
 | See full list of headings |
Group by: Item Type | No Grouping
Number of items: 1.
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.
Yang, Qiang and Wooldridge, Michael, eds.
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.
[Conference or Workshop Item]
