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.