Skip to main content
SpringerLink
Log in

Model Checking and Artificial Intelligence

5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers

  • Conference proceedings
  • © 2009

Overview

Editors:
  1. Doron A. Peled

    1. Department of Computer Science, Bar Ilan University, Ramat Gan, Israel

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael J. Wooldridge

    1. Department of Computer Science, University of Liverpool, Liverpool, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: MoChArt 2008.

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 (11 papers)

  1. Front Matter

    Download chapter PDF

  2. Verifying Time and Communication Costs of Rule-Based Reasoners

    • Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
    Pages 1-14

  3. Solving μ-Calculus Parity Games by Symbolic Planning

    • Marco Bakera, Stefan Edelkamp, Peter Kissmann, Clemens D. Renner
    Pages 15-33

  4. Verifying Robocup Teams

    • Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma
    Pages 34-48

  5. Scaling Search with Pattern Databases

    • Stefan Edelkamp, Shahid Jabbar, Peter Kissmann
    Pages 49-64

  6. Survey on Directed Model Checking

    • Stefan Edelkamp, Viktor Schuppan, Dragan Bošnački, Anton Wijs, Ansgar Fehnker, Husain Aljazzar
    Pages 65-89

  7. Automated Testing of Planning Models

    • Klaus Havelund, Alex Groce, Gerard Holzmann, Rajeev Joshi, Margaret Smith
    Pages 90-105

  8. Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic

    • Alessio Lomuscio, Wojciech Penczek, Hongyang Qu
    Pages 106-121

  9. Model Checking Driven Heuristic Search for Correct Programs

    • Gal Katz, Doron Peled
    Pages 122-131

  10. Experimental Evaluation of a Planning Language Suitable for Formal Verification

    • Radu I. Siminiceanu, Rick W. Butler, César A. Muñoz
    Pages 132-146

  11. Relaxation Refinement: A New Method to Generate Heuristic Functions

    • Jan-Georg Smaus, Jörg Hoffmann
    Pages 147-165

  12. Model Checking Strategic Equilibria

    • Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge
    Pages 166-188

  13. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Model Checking and Artificial Intelligence

Keywords

About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on Model Checking and Artificial Intelligence, MOCHART 2008, held in Patras, Greece, in July 2008 as a satellite event of ECAI 2008, the 18th biannual European conference on Artificial Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures have gone through two rounds of reviewing and improvement and were carefully selected for inclusion in the book. The workshop covers all ideas, research, experiments and tools that relate to both MC and AI fields.

Editors and Affiliations

  • Department of Computer Science, Bar Ilan University, Ramat Gan, Israel

    Doron A. Peled

  • Department of Computer Science, University of Liverpool, Liverpool, UK

    Michael J. Wooldridge

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation