Abstract is missing.
- Planning with Incomplete Information - (Invited Paper)Hector Geffner. 1-11 [doi]
- External Memory Breadth-First Search with Delayed Duplicate Detection on the GPUStefan Edelkamp, Damian Sulewski. 12-31 [doi]
- Program Model Checking via Action PlanningStefan Edelkamp, Mark Kellershoff, Damian Sulewski. 32-51 [doi]
- Automatic Data-Abstraction in Model Checking Multi-Agent SystemsAlessio Lomuscio, Hongyang Qu, Francesco Russo. 52-68 [doi]
- Automated Verification of Resource Requirements in Multi-Agent Systems Using AbstractionNatasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib. 69-84 [doi]
- The Blowup in Translating LTL to Deterministic AutomataOrna Kupferman, Adin Rosenberg. 85-94 [doi]
- Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic LogicXiaowei Huang, Cheng Luo, Ron van der Meyden. 95-111 [doi]
- Symbolic Model Checking the Knowledge in Herbivore ProtocolXiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang. 112-129 [doi]