http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Simple Strategies in Multi-Objective MDPs

Delgrange, Florent ; Katoen, Joost-Pieter^RWTH* ; Quatmann, Tim (Corresponding author)^RWTH* ; Randour, Mickael

In
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I / edited by Armin Biere, David Parker, Seiten/Artikel-Nr: 346-364

2020

Konferenz/Event:26. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , online , TACAS 2020 , 2020-04-25 - 2020-04-30

Konferenz/Event:European Joint Conferences on Theory and Practice of Software , ETAPS 2020 , 2020-04-25 - 2020-04-30

ImpressumCham : Springer International Publishing

Umfang346-364

ISBN978-3-030-45189-9, 978-3-030-45190-5, 978-3-030-45191-2

ReiheLecture Notes in Computer Science ; 12078, Theoretical Computer Science and General Issues

Weitere Reihe: Springer eBook Collection

Online
DOI: 10.18154/RWTH-2020-06043
DOI: 10.1007/978-3-030-45190-5_19
10.1007/978-3-030-45190-5_19
URL: https://publications.rwth-aachen.de/record/792348/files/792348.pdf

Einrichtungen

1. Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
2. Fachgruppe Informatik (120000)

OpenAccess:
PDF

Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85083963329
WOS Core Collection: WOS:001288732400019

Interne Identnummern
RWTH-2020-06043
Datensatz-ID: 792348