Symbolic verification of multiagent graphical decision models
2008 ◽
Vol 23
(11)
◽
pp. 1177-1195
2013 ◽
Keyword(s):
2016 ◽
Vol 2
(3)
◽
pp. 54