Skip to main content
SpringerLink
Log in
Book cover

Model Checking and Artificial Intelligence

6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Ron Meyden

    1. School of Computer Science and Engineering, University of New South Wales, Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jan-Georg Smaus

    1. Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6572)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: MoChArt 2010.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (8 papers)

  1. Front Matter

    Download chapter PDF

  2. Planning with Incomplete Information

    • Hector Geffner
    Pages 1-11

  3. External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU

    • Stefan Edelkamp, Damian Sulewski
    Pages 12-31

  4. Program Model Checking via Action Planning

    • Stefan Edelkamp, Mark Kellershoff, Damian Sulewski
    Pages 32-51

  5. Automatic Data-Abstraction in Model Checking Multi-Agent Systems

    • Alessio Lomuscio, Hongyang Qu, Francesco Russo
    Pages 52-68

  6. Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

    • Natasha Alechina, Brian Logan, Hoang Nga Nguyen, Abdur Rakib
    Pages 69-84

  7. The Blow-Up in Translating LTL to Deterministic Automata

    • Orna Kupferman, Adin Rosenberg
    Pages 85-94

  8. Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic

    • Xiaowei Huang, Cheng Luo, Ron van der Meyden
    Pages 95-111

  9. Symbolic Model Checking the Knowledge in Herbivore Protocol

    • Xiangyu Luo, Kaile Su, Ming Gu, Lijun Wu, Jinji Yang
    Pages 112-129

  10. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Model Checking and Artificial Intelligence

Keywords

About this book

This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking.

Editors and Affiliations

  • School of Computer Science and Engineering, University of New South Wales, Sydney, Australia

    Ron Meyden

  • Institut für Informatik, Albert-Ludwigs-Universität Freiburg, Freiburg, Germany

    Jan-Georg Smaus

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation