Skip to main content
Springer Nature Link
Log in

Model Checking and Artificial Intelligence

4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Stefan Edelkamp
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alessio Lomuscio
    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 4428)

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

Included in the following conference series:

Conference proceedings info: MoChArt 2006.

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

Access this book

Log in via an institution
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

Keywords

Table of contents (11 papers)

  1. Front Matter

    Download chapter PDF

  2. A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis

    • Piergiorgio Bertoli, Marco Bozzano, Alessandro Cimatti
    Pages 1-18

  3. Verifying Space and Time Requirements for Resource-Bounded Agents

    • Natasha Alechina, Piergiorgio Bertoli, Chiara Ghidini, Mark Jago, Brian Logan, Luciano Serafini
    Pages 19-34

  4. Automated Creation of Pattern Database Search Heuristics

    • Stefan Edelkamp
    Pages 35-50

  5. Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL

    • Jörg Hoffmann, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski
    Pages 51-66

  6. Real-Time Model Checking on Secondary Storage

    • Stefan Edelkamp, Shahid Jabbar
    Pages 67-83

  7. Checking Liveness Properties of Concurrent Systems by Reinforcement Learning

    • Tadashi Araragi, Seung Mo Cho
    Pages 84-94

  8. Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation

    • Alessio Lomuscio, Bożena Woźna, Andrzej Zbrzezny
    Pages 95-112

  9. Symbolic Model Checking of Logics with Actions

    • Charles Pecheur, Franco Raimondi
    Pages 113-128

  10. A Framework for Model Checking Institutions

    • Francesco Viganò
    Pages 129-145

  11. SAT-Based Verification of Security Protocols Via Translation to Networks of Automata

    • Mirosław Kurkowski, Wojciech Penczek, Andrzej Zbrzezny
    Pages 146-165

  12. Distributed Extended Beam Search for Quantitative Model Checking

    • A. J. Wijs, B. Lisser
    Pages 166-184

  13. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Model Checking and Artificial Intelligence

Bibliographic Information

Publish with us

Policies and ethics

Back to top