Automated Planning and Model Checking (Dagstuhl Seminar 14482)

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

doi:10.4230/DagRep.4.11.227

Automated Planning and Model Checking (Dagstuhl Seminar 14482)

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

Research output: Chapter in Book/Report/Conference proceeding › Chapter

120 Downloads (Pure)

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 cross-over between the modelling languages and methods. Different application domains were also explored, where planning and model-checking can be effectively integrated.

Original language	English
Title of host publication	Dagstuhl Reports
Publisher	Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Volume	4
Edition	11
DOIs	https://doi.org/10.4230/DagRep.4.11.227
Publication status	Published - 1 Nov 2015

Access to Document

10.4230/DagRep.4.11.227Licence: CC BY

Automated Planning and Model Checking_CIMATTI_Published 1Nov2015_GOLD VoRFinal published version, 1.1 MBLicence: CC BY

Cite this

@inbook{b82e6d0fbdd449bba0b622100e345cfc,

title = "Automated Planning and Model Checking (Dagstuhl Seminar 14482)",

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 cross-over between the modelling languages and methods. Different application domains were also explored, where planning and model-checking can be effectively integrated.",

author = "Alessandro Cimatti and Stefan Edelkamp and Maria Fox and Daniele Magazzeni and Erion Plaku",

year = "2015",

month = nov,

day = "1",

doi = "10.4230/DagRep.4.11.227",

language = "English",

volume = "4",

booktitle = "Dagstuhl Reports",

publisher = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",

edition = "11",

}

TY - CHAP

T1 - Automated Planning and Model Checking (Dagstuhl Seminar 14482)

AU - Cimatti, Alessandro

AU - Edelkamp, Stefan

AU - Fox, Maria

AU - Magazzeni, Daniele

AU - Plaku, Erion

PY - 2015/11/1

Y1 - 2015/11/1

N2 - 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 cross-over between the modelling languages and methods. Different application domains were also explored, where planning and model-checking can be effectively integrated.

AB - 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 cross-over between the modelling languages and methods. Different application domains were also explored, where planning and model-checking can be effectively integrated.

U2 - 10.4230/DagRep.4.11.227

DO - 10.4230/DagRep.4.11.227

M3 - Chapter

VL - 4

BT - Dagstuhl Reports

PB - Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

ER -

Automated Planning and Model Checking (Dagstuhl Seminar 14482)

Abstract

Access to Document

Fingerprint

Cite this