MoChArt 2010: Atlanta, GA, USA
Ron van der Meyden, Jan-Georg Smaus (Eds.): Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Springer 2011 Lecture Notes in Computer Science ISBN 978-3-642-20673-3
Hector Geffner: Planning with Incomplete Information - (Invited Paper). 1-11
Stefan Edelkamp, Damian Sulewski: External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU. 12-31
Stefan Edelkamp, Mark Kellershoff, Damian Sulewski: Program Model Checking via Action Planning. 32-51
Alessio Lomuscio, Hongyang Qu, Francesco Russo: Automatic Data-Abstraction in Model Checking Multi-Agent Systems. 52-68
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib: Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. 69-84
Xiaowei Huang, Cheng Luo, Ron van der Meyden: Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic. 95-111
Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang: Symbolic Model Checking the Knowledge in Herbivore Protocol. 112-129



