Model Checking and Artificial Intelligence
Subtitle: 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008 : revised selected and invited papers
By: Doron A. Peled, Michael J. Wooldrige (eds.).
Contributors: Peled, Doron, 1962-; Wooldrige, Michael J.
Series: Lecture notes in computer science -- 5348. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 5348.; Lecture notes in computer science
Publisher: Springer
Published: 2009
Place of publication: Berlin; New York
Language: eng
Number of pages: 188
ISBN-13: 9783642004308
Subjects: Künstliche Intelligenz; Model Checking; Congresses; Verification; Kongress; Computer systems; Artificial intelligence; Computer software
Other titles: MoChArt 5; MoChArt five
Notes: Includes bibliographical references and index.