Automated Planning and Model Checking (Dagstuhl Seminar 14482)

Cimatti, Alessandro; Edelkamp, Stefan; Fox, Maria; Magazzeni, Daniele; Plaku, Erion

doi:10.4230/DagRep.4.11.227

Document

Automated Planning and Model Checking (Dagstuhl Seminar 14482)

Authors Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, Erion Plaku and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 4, Issue 11
Part of: Volume: Dagstuhl Reports, Volume 4
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2015-03-20

PDF

File

PDF

DagRep.4.11.227.pdf

Filesize: 1.09 MB
19 pages

Document Identifiers

DOI: 10.4230/DagRep.4.11.227
URN: urn:nbn:de:0030-drops-49731

Subject Classification

Keywords

planning via model checking
directed model checking
plan validation
falsification
GPU-based state space exploration
hybrid systems
heuristic sea

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 14482 "Automated Planning and Model Checking". There has been a lot of work on the exchanges between the areas of automated planning and model checking, based on the observation that a model-checking problem can be cast as a planning problem and vice-versa. The motivation for this seminar was to increase the synergy between the two research communities, and explore recent progress in the two areas in terms of techniques, tools and formalisms for describing planning and verification problems. The main outcomes were a greater common understanding of planning and model-checking issues and challenges, and greater appreciation of the crosswover between the modelling languages and methods. Different application domains were also explored, where planning and model-checking can be effectively integrated.

Cite As Get BibTex

Alessandro Cimatti, Stefan Edelkamp, Maria Fox, Daniele Magazzeni, and Erion Plaku. Automated Planning and Model Checking (Dagstuhl Seminar 14482). In Dagstuhl Reports, Volume 4, Issue 11, pp. 227-245, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015) https://doi.org/10.4230/DagRep.4.11.227

Author Details

Alessandro Cimatti

Stefan Edelkamp

Maria Fox

Daniele Magazzeni

Erion Plaku

and all authors of the abstracts in this report

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail