Model Checking for Reasoning about Incomplete Information Games
Keyword(s):
2005 ◽
Vol 120
(2)
◽
pp. 270-274
◽
2000 ◽
Vol 94
(2)
◽
pp. 425-427
◽
2012 ◽
Vol 6
(1)
◽
1998 ◽
Vol 82
(1)
◽
pp. 267-276
◽