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

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

Namespace Prefixes

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

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F05%3A00012780%21RIV10-GA0-14330___
rdf:type
skos:Concept n21:Vysledek
dcterms:description
We study the problem of effective controller synthesis for finite-state Markov decision processes (MDPs) and the class of properties definable in the logic PCTL extended with long-run average propositions. We show that the existence of such a controller is decidable, and we give an algorithm which computes the controller if it exists. We also address the issue of ``controller robustness'', i.e., the problem whether there is a controller which still guarantees the satisfaction of a given property when the probabilities in the considered MDP slightly deviate from their original values. From a practical point of view, this is an important aspect since the probabilities are often determined empirically and hence they are inherently imprecise. We show that the existence of robust controllers is also decidable, and that such controllers are effectively computable if they exist. . We study the problem of effective controller synthesis for finite-state Markov decision processes (MDPs) and the class of properties definable in the logic PCTL extended with long-run average propositions. We show that the existence of such a controller is decidable, and we give an algorithm which computes the controller if it exists. We also address the issue of ``controller robustness'', i.e., the problem whether there is a controller which still guarantees the satisfaction of a given property when the probabilities in the considered MDP slightly deviate from their original values. From a practical point of view, this is an important aspect since the probabilities are often determined empirically and hence they are inherently imprecise. We show that the existence of robust controllers is also decidable, and that such controllers are effectively computable if they exist. .
dcterms:title
On the Controller Synthesis for Finite-State Markov Decision Processes On the Controller Synthesis for Finite-State Markov Decision Processes
skos:prefLabel
On the Controller Synthesis for Finite-State Markov Decision Processes On the Controller Synthesis for Finite-State Markov Decision Processes
skos:notation
RIV/00216224:14330/05:00012780!RIV10-GA0-14330___
n3:aktivita
n15:P n15:Z
n3:aktivity
P(1M0545), P(GA201/03/1161), Z(MSM0021622419)
n3:dodaniDat
n20:2010
n3:domaciTvurceVysledku
n16:9797092 n16:9872655
n3:druhVysledku
n9:D
n3:duvernostUdaju
n18:S
n3:entitaPredkladatele
n4:predkladatel
n3:idSjednocenehoVysledku
534448
n3:idVysledku
RIV/00216224:14330/05:00012780
n3:jazykVysledku
n6:eng
n3:klicovaSlova
Controller Synthesis; Markov Decision Processes
n3:klicoveSlovo
n7:Markov%20Decision%20Processes n7:Controller%20Synthesis
n3:kontrolniKodProRIV
[12F55C00B3DF]
n3:mistoKonaniAkce
Hyderabad, India
n3:mistoVydani
Berlin Heidelberg New York
n3:nazevZdroje
25th International Conference on Foundations of Software Technology and Theoretical Computer Science
n3:obor
n14:IN
n3:pocetDomacichTvurcuVysledku
2
n3:pocetTvurcuVysledku
2
n3:projekt
n12:1M0545 n12:GA201%2F03%2F1161
n3:rokUplatneniVysledku
n20:2005
n3:tvurceVysledku
Kučera, Antonín Stražovský, Oldřich
n3:typAkce
n17:WRD
n3:wos
000234885800044
n3:zahajeniAkce
2005-01-01+01:00
n3:zamer
n13:MSM0021622419
s:numberOfPages
12
n22:hasPublisher
Springer-Verlag
n5:isbn
3-540-30495-9
n19:organizacniJednotka
14330