TOP
Suche auf der Schloss Dagstuhl Webseite
Sie suchen nach Informationen auf den Webseiten der einzelnen Seminare? - Dann:
Nicht fündig geworden? - Einige unserer Dienste laufen auf separaten Webseiten mit jeweils eigener Suche. Bitte beachten Sie folgende Liste:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminare
Innerhalb dieser Seite:
Externe Seiten:
  • DOOR (zum Registrieren eines Dagstuhl Aufenthaltes)
  • DOSA (zum Beantragen künftiger Dagstuhl Seminare oder Dagstuhl Perspektiven Workshops)
Publishing
Innerhalb dieser Seite:
Externe Seiten:
dblp
Innerhalb dieser Seite:
Externe Seiten:
  • die Informatik-Bibliographiedatenbank dblp


Dagstuhl-Seminar 01451

Exploration of Large State Spaces

( 04. Nov – 09. Nov, 2001 )

Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite: https://www.dagstuhl.de/01451

Organisatoren



Motivation

The goal of this seminar is to bring together researchers working on state-exploration methods in artificial intelligence (AI) and in automated verification (AV).

Automated verification provides a new approach to validating the correct behavior of software and hardware designs. In traditional design validation, confidence in the design is the result of running a large number of test cases through the design. Automated verification, in contrast, uses mathematical techniques to check the entire state space of the design for conformance to some specified behavior. Over the last few years, automated

verification tools, such as model checkers, have shown their ability to provide thorough analysis of reasonably complex designs. Unfortunately, model checking suffers from a fundamental problem known as state-explosion: the ability to handle only systems with limited-size state spaces. This explosion arises mainly because the transition system analyzed describes the global behavior of the system.

In artificial intelligence , the state-explosion problem arises also in the sub-fields of Markov decision processes and action planning. In both areas, it is necessary to explore large state-spaces and a number of techniques have been used to deal with problem of exploring these state spaces, e.g., using heuristic search with heuristics derived from the problem description, by using propositional satisfiability techniques, by making use of binary decision programs or generalizations of them etc.

We expect that the workshop will help to increase the awareness of the researchers working in one field of the problems and methods in the others and thus to increase the interaction and collaboration of the two fields, and the transfer of methodologies from one field to another.


Teilnehmer
  • Fahiem Bacchus (University of Toronto, CA) [dblp]
  • David Basin (ETH Zürich, CH) [dblp]
  • Bernd Becker (Universität Freiburg, DE) [dblp]
  • Alessandro Cimatti (Centro Ricerche FIAT - Trento, IT) [dblp]
  • Luca Compagna (University of Genova, IT) [dblp]
  • Werner Damm (Universität Oldenburg, DE) [dblp]
  • Thomas L. Dean (Brown University - Providence, US) [dblp]
  • David Dill (Stanford University, US) [dblp]
  • Rolf Drechsler (Universität Bremen, DE) [dblp]
  • Stefan Edelkamp (TU Dortmund, DE) [dblp]
  • Javier Esparza (Universität Stuttgart, DE) [dblp]
  • Maria Fox (University of Strathclyde, GB) [dblp]
  • Alfonso Gerevini (University of Brescia, IT)
  • Enrico Giunchiglia (University of Genova, IT) [dblp]
  • Robert Givan (Purdue University - West Lafayette, US)
  • Malte Helmert (Universität Freiburg, DE) [dblp]
  • Jörg Hoffmann (MPI für Informatik - Saarbrücken, DE) [dblp]
  • Jana Köhler (IBM Research GmbH - Zürich, CH) [dblp]
  • Richard Korf (UCLA, US)
  • Orna Kupferman (The Hebrew University of Jerusalem, IL) [dblp]
  • Stefan Leue (Universität Konstanz, DE) [dblp]
  • Monika Maidl (University of Edinburgh, GB)
  • Marco Maratea (University of Genova, IT)
  • Christoph Meinel (Hasso-Plattner-Institut - Potsdam, DE)
  • Massimo Narizzano (University of Genova, IT)
  • Bernhard Nebel (Universität Freiburg, DE) [dblp]
  • Ron Parr (Duke University - Durham, US)
  • Charles Pecheur (University of Louvain, BE)
  • Jussi Rintanen (Universität Freiburg, DE) [dblp]
  • Jürgen Schmidhuber (IDSIA - Manno, CH) [dblp]
  • Ulrich Scholz (TU Darmstadt, DE)
  • A. Prasad Sistla (University of Illinois - Chicago, US)
  • Christian Stangier (Universität Trier, DE)
  • Colin Stirling (University of Edinburgh, GB)
  • Wolfgang Thomas (RWTH Aachen, DE) [dblp]
  • Moshe Y. Vardi (Rice University - Houston, US) [dblp]
  • Thomas Wilke (Universität Kiel, DE) [dblp]
  • Brian C. Williams (MIT - Cambridge, US) [dblp]
  • Pierre Wolper (University of Liège, BE)