A faster-than relation for semi-Markov decision processes

Mathias Ruggaard Pedersen; Giorgio Bacci; Kim Guldstrand Larsen

doi:10.4204/EPTCS.312.3

A faster-than relation for semi-Markov decision processes

Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen

Research output: Contribution to journal › Conference article in Journal › Research › peer-review

Original language	English
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	312
Pages (from-to)	29-42
Number of pages	14
ISSN	2075-2180
DOIs	https://doi.org/10.4204/EPTCS.312.3
Publication status	Published - 20 Jan 2020
Event	16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2019 - Prague, Czech Republic Duration: 7 Apr 2019 → …

Conference

Conference	16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2019
Country	Czech Republic
City	Prague
Period	07/04/2019 → …

Bibliographical note

Funding Information:
Acknowledgements. Mathias R. Pedersen was supported by the ASAP project (no. 4181-00360) funded by the Danish Council for Independent Research. Kim G. Larsen was supported by the ERC Advanced Grant LASSO (no. 867096).

Publisher Copyright:
© M.R. Pedersen, G. Bacci, & K.G. Larsen.

Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.

Access to Document

10.4204/EPTCS.312.3

Link to publication in Scopus

Fingerprint Dive into the research topics of 'A faster-than relation for semi-Markov decision processes'. Together they form a unique fingerprint.

Cite this

@inproceedings{1dd206771cd84201b98b57fa43920d6f,

title = "A faster-than relation for semi-Markov decision processes",

author = "Pedersen, {Mathias Ruggaard} and Giorgio Bacci and Larsen, {Kim Guldstrand}",

note = "Funding Information: Acknowledgements. Mathias R. Pedersen was supported by the ASAP project (no. 4181-00360) funded by the Danish Council for Independent Research. Kim G. Larsen was supported by the ERC Advanced Grant LASSO (no. 867096). Publisher Copyright: {\textcopyright} M.R. Pedersen, G. Bacci, & K.G. Larsen. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2019 ; Conference date: 07-04-2019",

year = "2020",

month = jan,

day = "20",

doi = "10.4204/EPTCS.312.3",

language = "English",

volume = "312",

pages = "29--42",

journal = "Electronic Proceedings in Theoretical Computer Science",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - GEN

T1 - A faster-than relation for semi-Markov decision processes

AU - Pedersen, Mathias Ruggaard

AU - Bacci, Giorgio

AU - Larsen, Kim Guldstrand

N1 - Funding Information: Acknowledgements. Mathias R. Pedersen was supported by the ASAP project (no. 4181-00360) funded by the Danish Council for Independent Research. Kim G. Larsen was supported by the ERC Advanced Grant LASSO (no. 867096). Publisher Copyright: © M.R. Pedersen, G. Bacci, & K.G. Larsen. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.

PY - 2020/1/20

Y1 - 2020/1/20

UR - http://www.scopus.com/inward/record.url?scp=85079349286&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.312.3

DO - 10.4204/EPTCS.312.3

M3 - Conference article in Journal

AN - SCOPUS:85079349286

VL - 312

SP - 29

EP - 42

JO - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

T2 - 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2019

Y2 - 7 April 2019

ER -