This HTML5 document contains 47 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n11http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n21http://purl.org/net/nknouf/ns/bibtex#
n20http://localhost/temp/predkladatel/
n18http://linked.opendata.cz/resource/domain/vavai/projekt/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n6http://linked.opendata.cz/resource/domain/vavai/subjekt/
n5http://linked.opendata.cz/ontology/domain/vavai/
n9https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n7http://bibframe.org/vocab/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n10http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F13%3A00066541%21RIV14-GA0-14330___/
n23http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n15http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n16http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n19http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F13%3A00066541%21RIV14-GA0-14330___
rdf:type
skos:Concept n5:Vysledek
dcterms:description
We study the complexity of central controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize both the expected mean-payoff performance of the system and its stability. We argue that the basic theoretical notion of expressing the stability in terms of the variance of the mean-payoff (called global variance in our paper) is not always sufficient, since it ignores possible instabilities on respective runs. For this reason we propose alernative definitions of stability, which we call local and hybrid variance, and which express how rewards on each run deviate from the run's own mean-payoff and from the expected mean-payoff, respectively. We study the complexity of central controller synthesis problems for finite-state Markov decision processes, where the objective is to optimize both the expected mean-payoff performance of the system and its stability. We argue that the basic theoretical notion of expressing the stability in terms of the variance of the mean-payoff (called global variance in our paper) is not always sufficient, since it ignores possible instabilities on respective runs. For this reason we propose alernative definitions of stability, which we call local and hybrid variance, and which express how rewards on each run deviate from the run's own mean-payoff and from the expected mean-payoff, respectively.
dcterms:title
Trading Performance for Stability in Markov Decision Processes Trading Performance for Stability in Markov Decision Processes
skos:prefLabel
Trading Performance for Stability in Markov Decision Processes Trading Performance for Stability in Markov Decision Processes
skos:notation
RIV/00216224:14330/13:00066541!RIV14-GA0-14330___
n5:predkladatel
n6:orjk%3A14330
n3:aktivita
n13:P
n3:aktivity
P(GPP202/12/P612)
n3:dodaniDat
n19:2014
n3:domaciTvurceVysledku
n12:9872655 n12:1762834 n12:2477912
n3:druhVysledku
n16:D
n3:duvernostUdaju
n23:S
n3:entitaPredkladatele
n10:predkladatel
n3:idSjednocenehoVysledku
111495
n3:idVysledku
RIV/00216224:14330/13:00066541
n3:jazykVysledku
n15:eng
n3:klicovaSlova
Markov decision processes; optimization
n3:klicoveSlovo
n4:optimization n4:Markov%20decision%20processes
n3:kontrolniKodProRIV
[4F80AFFEA236]
n3:mistoKonaniAkce
New Orleans
n3:mistoVydani
London
n3:nazevZdroje
Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013)
n3:obor
n22:IN
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
4
n3:projekt
n18:GPP202%2F12%2FP612
n3:rokUplatneniVysledku
n19:2013
n3:tvurceVysledku
Kučera, Antonín Brázdil, Tomáš Chatterjee, Krishnendu Forejt, Vojtěch
n3:typAkce
n11:WRD
n3:wos
000326815000038
n3:zahajeniAkce
2013-06-25+02:00
s:issn
1043-6871
s:numberOfPages
10
n7:doi
10.1109/LICS.2013.39
n21:hasPublisher
IEEE Computer Society
n9:isbn
9781479904136
n20:organizacniJednotka
14330