% IMPORTANT: The following is UTF-8 encoded. This means that in the presence
% of non-ASCII characters, it will not work with BibTeX 0.99 or older.
% Instead, you should use an up-to-date BibTeX implementation like “bibtex8” or
% “biber”.
@INPROCEEDINGS{Quatmann:817768,
author = {Quatmann, Tim and Katoen, Joost-Pieter},
title = {{M}ulti-objective {O}ptimization of {L}ong-run {A}verage
and {T}otal {R}ewards},
volume = {12651},
address = {Cham},
publisher = {Springer International Publishing},
reportid = {RWTH-2021-04084},
series = {Lecture Notes in Computer Science},
pages = {230-249},
year = {2021},
note = {Konferenzort: Luxembourg City, Luxembourg},
comment = {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},
booktitle = {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},
month = {Mar},
date = {2021-03-27},
organization = {27. International Conference on Tools
and Algorithms for the Construction and
Analysis of Systems, online, 27 Mar
2021 - 1 Apr 2021},
cin = {121310 / 120000},
cid = {$I:(DE-82)121310_20140620$ / $I:(DE-82)120000_20140620$},
typ = {PUB:(DE-HGF)7 / PUB:(DE-HGF)8},
doi = {10.1007/978-3-030-72016-2_13},
url = {https://publications.rwth-aachen.de/record/817768},
}
guest ::