Symbolic verification of multiagent graphical decision models

DOI10.1002/INT.20313MaRDI QIDQ3548689zbMATH OpenOpenAlexFDO

Authors Kim Leng Poh, Yifeng Zeng

Publication date 17 December 2008

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/int.20313

zbMATH Keywords

hyper relevance graphmultiply sectioned influence diagrams

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Verification of DAG structures in cooperative belief network-based multiagent systems
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• scientific article; zbMATH DE number 1950649
• scientific article; zbMATH DE number 2215634
• Multi-agent influence diagrams for representing and solving games.

Cites work

• scientific article; zbMATH DE number 1634667 (Why is no real title available?)
• scientific article; zbMATH DE number 48812 (Why is no real title available?)
• Dynamic programming and influence diagrams
• Probabilistic Reasoning in Multiagent Systems
• Sequential influence diagrams: a unified asymmetry framework
• Verification of DAG structures in cooperative belief network-based multiagent systems

Cited in

(3)

• scientific article; zbMATH DE number 1950649 (Why is no real title available?)
• Verification of multiplayer stochastic games via abstract dependency graphs
• Verification of DAG structures in cooperative belief network-based multiagent systems

This page was built for publication: Symbolic verification of multiagent graphical decision models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3548689)