Measuring Trust and Automatic Verification in Multi-Agent Systems
Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
2007 ◽
Vol 5
(2)
◽
pp. 235-251
◽
2020 ◽
Vol 107
◽
pp. 1047-1060
◽
2015 ◽
Vol 10
(8)
◽
pp. 845
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):