Symbolic verification of multiagent graphical decision models

DOI10.1002/INT.20313zbMATH Open1159.68035OpenAlexW4231227801MaRDI QIDQ3548689FDOQ3548689

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Sequential influence diagrams: a unified asymmetry framework
• Title not available (Why is that?)
• Probabilistic Reasoning in Multiagent Systems
• Dynamic programming and influence diagrams
• Verification of DAG structures in cooperative belief network-based multiagent systems

Cited In (3)

• Title not available (Why is that?)
• 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)