Multi-cost Bounded Tradeoff Analysis in MDP

Hartmanns, Arnd; Quatmann, Tim; Junges, Sebastian; Katoen, Joost-Pieter

doi:0168-7433

Multi-cost Bounded Tradeoff Analysis in MDP

Hartmanns, Arnd (Corresponding author) ; Junges, Sebastian^RWTH* ; Katoen, Joost-Pieter^RWTH* ; Quatmann, Tim^RWTH*

In
Special Issue: Selected Extended Papers from IJCAR 2018 / Guest Editors: Didier Galmiche, Stephan Schulz and Roberto Sebastiani & Special Issue: Selected and Extended Papers from TACAS 2018 / Guest Editors: Dirk Beyer and Marieke Huisman / Issue editors: Didier Galmiche, Stephan Schulz, Roberto Sebastiani, Dirk Beyer, Marieke Huisman

In
Journal of automated reasoning 64(7), Seiten/Artikel-Nr.:1483-1522

2020

Konferenz/Event:9. International Joint Conference on Automated Reasoning , Oxford , UK , IJCAR 2018 , 2018-07-14 - 2018-07-17

Konferenz/Event:24. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , Thessaloniki , Greece , TACAS 2018 , 2018-04-14 - 2018-04-20

ImpressumDordrecht [u.a.] : Springer Science + Business Media B.V.

ISSN0168-7433

Online
DOI: 10.18154/RWTH-2020-08007
DOI: 10.1007/s10817-020-09574-9
10.1007/s10817-020-09574-9
URL: https://publications.rwth-aachen.de/record/794977/files/794977.pdf

Einrichtungen

Thematische Einordnung (Klassifikation)
DDC: 004

OpenAccess:
PDF

Dokumenttyp
Journal Article/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85088967783
WOS Core Collection: WOS:000553258800001

Interne Identnummern
RWTH-2020-08007
Datensatz-ID: 794977

Beteiligte Länder
Germany, Netherlands

Lizenzstatus der Zeitschrift

Related:

Contribution to a book/Contribution to a conference proceedings Hartmanns, A. ; Junges, S.RWTH* ; Katoen, J.-P.RWTH* ; Quatmann, T. (Corresponding author)RWTH*
Multi-cost Bounded Reachability in MDP
2018Tools and Algorithms for the Construction and Analysis of Systems : 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II / edited by Dirk Beyer, Marieke Huisman
24. International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, ThessalonikiThessaloniki, Greece, 14 Apr 2018 - 20 Apr 20182018-04-142018-04-20
21. European Joint Conferences on Theory and Practice of Software, ETAPS 2018, ThessalonikiThessaloniki, Greece, 14 Apr 2018 - 20 Apr 20182018-04-142018-04-20 Cham : Springer International Publishing, Lecture notes in computer science 10806, Part 2 320-339 (2018) [10.1007/978-3-319-89963-3_19]2018 OpenAccess Files BibTeX | EndNote: XML, Text | RIS