Please use this identifier to cite or link to this item: doi:10.22028/D291-29346
Volltext verfügbar? / Dokumentlieferung
Title: Compiling Probabilistic Model Checking into Probabilistic Planning
Author(s): Klauck, Michaela
Steinmetz, Marcel
Hoffmann, Jörg
Hermanns, Holger
Editor(s): de Weerdt, Mathijs
Koenig, Sven
Röger, Gabriele
Spaan, Matthijs
Language: English
Title: Twenty-Eighth International Conference on Automated Planning and Scheduling
Startpage: 150
Endpage: 154
Publisher/Platform: AAAI Press
Year of Publication: 2018
Place of publication: Palo Alto, California, USA
Title of the Conference: ICAPS 2018
Place of the conference: Delft, The Netherlands
Publikation type: Conference Paper
URL of the first publication:
Link to this record: hdl:20.500.11880/28341
ISSN: 2334-0843
Date of registration: 21-Nov-2019
Third-party funds sponsorship: ERC Advanced Investigators Grant 695614 (POWVER); BMBF through funding for the Center for IT-Security, Privacy and Accountability (CISPA)
Sponsorship ID: ERC Advanced Investigators Grant 695614; BMBF 16KIS0656
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Professorship: MI - Prof. Dr. Jörg Hoffmann
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
There are no files associated with this item.

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.