Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
Volltext verfügbar? / Dokumentlieferung
doi:10.22028/D291-29346 Dateien zu diesem Datensatz:
Es gibt keine Dateien zu dieser Ressource.
| 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 |
| In: | |
| 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: | https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17740 |
| Link to this record: | hdl:20.500.11880/28341 http://dx.doi.org/10.22028/D291-29346 |
| 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 |
| Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.