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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team