MoChArt

Publications

volume 6572, 2011

Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers MoChArt 6572 (2011)

2010

Xiaowei Huang, Cheng Luo, Ron van der Meyden
Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic. MoChArt (2010)
Stefan Edelkamp, Mark Kellershoff, Damian Sulewski
Program Model Checking via Action Planning. MoChArt (2010)
Alessio Lomuscio, Hongyang Qu, Francesco Russo
Automatic Data-Abstraction in Model Checking Multi-Agent Systems. MoChArt (2010)
Orna Kupferman, Adin Rosenberg
The Blowup in Translating LTL to Deterministic Automata. MoChArt (2010)
Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt (2010)
Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang
Symbolic Model Checking the Knowledge in Herbivore Protocol. MoChArt (2010)
Stefan Edelkamp, Damian Sulewski
External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU. MoChArt (2010)
Hector Geffner
Planning with Incomplete Information - (Invited Paper). MoChArt (2010)