𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Complexity of verification of nondeterministic probabilistic multiagent systems

✍ Scribed by M. K. Valiev; M. I. Dekhtyar

Book ID
115064571
Publisher
Allerton Press Inc
Year
2011
Tongue
English
Weight
180 KB
Volume
45
Category
Article
ISSN
0146-4116

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Verification of DAG structures in cooper
Verification of DAG structures in cooperative belief network-based multiagent systems
✍ Y. Xiang πŸ“‚ Article πŸ“… 1998 πŸ› John Wiley and Sons 🌐 English βš– 140 KB πŸ‘ 2 views

Multiply sectioned Bayesian networks (MSBNs) provide a framework for probabilistic reasoning in a complex single-user-oriented system as well as in a cooperative multiagent distributed interpretation system. During the construction or dynamic formation of an MSBN, automatic verification of the acycl

Symbolic verification of multiagent grap
Symbolic verification of multiagent graphical decision models
✍ Yifeng Zeng; Kim-leng Poh πŸ“‚ Article πŸ“… 2008 πŸ› John Wiley and Sons 🌐 English βš– 166 KB

Multiply sectioned influence diagrams (MSID), together with hyper relevance graph (HRG), is a probabilistic graphical decision model representing distributed decision problems involving multiple agents. To ensure a valid model representation, an MSID observes a set of constraints that must be verifi

Probabilistic representation of complexi
Probabilistic representation of complexity
✍ Nabil I. Al-Najjar; Ramon Casadesus-Masanell; Emre Ozdenoren πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 347 KB