マルチエージェント・システムの仕様と認証
Specification and Verification of Multi-agent Systems
Dastani, M. (EDT)
Hindriks, K. V. (EDT)
Meyer, J. C. (EDT)
- 出版社:Springer
- 出版年月:2010年 07月
- ISBN:9781441969835
- 装丁:HRD
-
装丁について
- 言語:ENG
- 巻数・ページ数:405 p.
- 分類: 人工知能
- DDC分類:005
- 内容紹介:
-
Presents a coherent treatment of the area of formal specification and verification of agentbased systems with a special focus on verification of multi-agent programs.