Verification of Multi-agent Systems Via Bounded Model Checking

File Size Format
40254.pdf 151Kb Adobe PDF View
Title Verification of Multi-agent Systems Via Bounded Model Checking
Author Luo, Xiangyu; Su, Kaile; Sattar, Abdul; Reynolds, Mark
Publication Title AI 2006: Advances in Artificial Intelligence
Editor Abdul Sattar and Byeong-Ho Kang
Year Published 2006
Publisher Springer
Peer Reviewed Yes
Published Yes
Publisher URI http://www.springer.com/east/home?SGWID=5-102-22-173705727-0&changeHeader=true
Copyright Statement Copyright 2006 Springer : Reproduced in accordance with the copyright policy of the publisher : The original publication will be available at SpringerLink (use hypertext links)
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Publication Type Conference Publications (Full Written Paper - Refereed)

Full Record

Griffith University copyright notice