License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.4.11.227
URN: urn:nbn:de:0030-drops-49731
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2015/4973/
Go back to Dagstuhl Reports

Cimatti, Alessandro ; Edelkamp, Stefan ; Fox, Maria ; Magazzeni, Daniele ; Plaku, Erion
Weitere Beteiligte (Hrsg. etc.): Alessandro Cimatti and Stefan Edelkamp and Maria Fox and Daniele Magazzeni and Erion Plaku

Automated Planning and Model Checking (Dagstuhl Seminar 14482)

pdf-format:
dagrep_v004_i011_p227_s14482.pdf (1 MB)

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.

BibTeX - Entry

@Article{cimatti_et_al:DR:2015:4973,
  author =	{Alessandro Cimatti and Stefan Edelkamp and Maria Fox and Daniele Magazzeni and Erion Plaku},
  title =	{{Automated Planning and Model Checking (Dagstuhl Seminar 14482)}},
  pages =	{227--245},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{4},
  number =	{11},
  editor =	{Alessandro Cimatti and Stefan Edelkamp and Maria Fox and Daniele Magazzeni and Erion Plaku},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2015/4973},
  URN =		{urn:nbn:de:0030-drops-49731},
  doi =		{10.4230/DagRep.4.11.227},
  annote =	{Keywords: planning via model checking, directed model checking, plan validation, falsification, GPU-based state space exploration, hybrid systems, heuristic sea}
}

Keywords: planning via model checking, directed model checking, plan validation, falsification, GPU-based state space exploration, hybrid systems, heuristic sea
Collection: Dagstuhl Reports, Volume 4, Issue 11
Issue Date: 2015
Date of publication: 20.03.2015

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI