Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
Volltext verfügbar? / Dokumentlieferung
doi:10.22028/D291-29346
Titel: | Compiling Probabilistic Model Checking into Probabilistic Planning |
VerfasserIn: | Klauck, Michaela Steinmetz, Marcel Hoffmann, Jörg Hermanns, Holger |
HerausgeberIn: | de Weerdt, Mathijs Koenig, Sven Röger, Gabriele Spaan, Matthijs |
Sprache: | Englisch |
Titel: | Twenty-Eighth International Conference on Automated Planning and Scheduling |
Startseite: | 150 |
Endseite: | 154 |
Verlag/Plattform: | AAAI Press |
Erscheinungsjahr: | 2018 |
Erscheinungsort: | Palo Alto, California, USA |
Titel der Konferenz: | ICAPS 2018 |
Konferenzort: | Delft, The Netherlands |
Dokumenttyp: | Konferenzbeitrag (in einem Konferenzband / InProceedings erschienener Beitrag) |
URL der Erstveröffentlichung: | https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17740 |
Link zu diesem Datensatz: | hdl:20.500.11880/28341 http://dx.doi.org/10.22028/D291-29346 |
ISSN: | 2334-0843 |
Datum des Eintrags: | 21-Nov-2019 |
Drittmittel / Förderung: | ERC Advanced Investigators Grant 695614 (POWVER); BMBF through funding for the Center for IT-Security, Privacy and Accountability (CISPA) |
Fördernummer: | ERC Advanced Investigators Grant 695614; BMBF 16KIS0656 |
Fakultät: | MI - Fakultät für Mathematik und Informatik |
Fachrichtung: | MI - Informatik |
Professur: | MI - Prof. Dr. Jörg Hoffmann |
Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
Es gibt keine Dateien zu dieser Ressource.
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.