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

Multi-objective Optimization of Long-run Average and Total Rewards

Quatmann, Tim (Corresponding author)^RWTH* ; Katoen, Joost-Pieter^RWTH*

In
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I, Seiten/Artikel-Nr: 230-249

2021

Konferenz/Event:27. International Conference on Tools and Algorithms for the Construction and Analysis of Systems , online , TACAS 2021 , 2021-03-27 - 2021-04-01

Konferenz/Event:24. European Joint Conferences on Theory and Practice of Software , online , ETAPS 2021 , 2021-03-27 - 2021-04-01

ImpressumCham : Springer International Publishing

Umfang230-249

ISBN978-3-030-72015-5, 978-3-030-72016-2

ReiheLecture Notes in Computer Science ; 12651

Konferenzort: Luxembourg City, Luxembourg

Online
DOI: 10.18154/RWTH-2021-04084
DOI: 10.1007/978-3-030-72016-2_13
10.1007/978-3-030-72016-2_13
URL: https://publications.rwth-aachen.de/record/817768/files/817768.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-85149485208
WOS Core Collection: WOS:001288717500013
OpenAlex: W3147073715

Interne Identnummern
RWTH-2021-04084
Datensatz-ID: 817768

Beteiligte Länder
Germany