Document Open Access Logo

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



PDF
Thumbnail PDF

File

DagRep.4.11.227.pdf
  • Filesize: 1.09 MB
  • 19 pages

Document Identifiers

Author Details

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

Cite AsGet 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

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.
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
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail