Automatic Data-Abstraction in Model Checking Multi-Agent Systems
Keyword(s):
Keyword(s):
Keyword(s):
2020 ◽
Vol 34
(05)
◽
pp. 7071-7078
Keyword(s):
2008 ◽
Vol 195
◽
pp. 133-149
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
2007 ◽
Vol 5
(2)
◽
pp. 235-251
◽
2015 ◽
Vol 51
◽
pp. 45-68
◽
2010 ◽
Vol 5
(1)
◽
pp. 14-25
◽