๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Abstraction for model checking multi-agent systems

โœ Scribed by Zhou, Conghua ;Sun, Bo ;Liu, Zhifeng

Publisher
Higher Education Press and Springer
Year
2010
Tongue
English
Weight
240 KB
Volume
5
Category
Article
ISSN
1673-7350

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Verifying Multi-agent Programs by Model
Verifying Multi-agent Programs by Model Checking
โœ Rafael H. Bordini; Michael Fisher; Willem Visser; Michael Wooldridge ๐Ÿ“‚ Article ๐Ÿ“… 2006 ๐Ÿ› Springer US ๐ŸŒ English โš– 339 KB
A Tool for Abstraction in Model Checking
A Tool for Abstraction in Model Checking
โœ Marรญa del Mar Gallardo; Jesรบs Martรญnez; Pedro Merino; Ernesto Pimentel ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 370 KB
On feasible cases of checking multi-agen
On feasible cases of checking multi-agent systems behavior
โœ Michael Dekhtyar; Alexander Dikovsky; Mars Valiev ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 301 KB

The complexity of multi-agent systems behavior properties is studied. The behavior properties are formulated using classical temporal logic languages and are checked relative to the transition system induced by the multi-agent system deรฟnition. We show that there are deterministic or nondeterministi