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

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

Namespace Prefixes

PrefixIRI
n14http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n18http://localhost/temp/predkladatel/
n3http://purl.org/net/nknouf/ns/bibtex#
n19http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n21http://linked.opendata.cz/ontology/domain/vavai/
n9https://schema.org/
n5http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://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#
n15http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F07%3A00022945%21RIV10-MSM-14330___/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n8http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F07%3A00022945%21RIV10-MSM-14330___
rdf:type
skos:Concept n21:Vysledek
dcterms:description
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities of agents in a multiplayer game), probabilistic computation tree logic and extended temporal logic (to reason about qualitative and quantitative, linear or branching time winning objectives). The paper presents the syntax and semantics of SGL and discusses its model checking problem. The model checking problem of SGL turns out to be undecidable when the strategies are history-dependent. We show PSPACE completeness for memoryless deterministic strategies and the EXPSPACE upper bound for memoryless randomized strategies. For the qualitative fragment of SGL we show PSPACE completeness for memoryless strategies. Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities of agents in a multiplayer game), probabilistic computation tree logic and extended temporal logic (to reason about qualitative and quantitative, linear or branching time winning objectives). The paper presents the syntax and semantics of SGL and discusses its model checking problem. The model checking problem of SGL turns out to be undecidable when the strategies are history-dependent. We show PSPACE completeness for memoryless deterministic strategies and the EXPSPACE upper bound for memoryless randomized strategies. For the qualitative fragment of SGL we show PSPACE completeness for memoryless strategies.
dcterms:title
Stochastic Game Logic Stochastic Game Logic
skos:prefLabel
Stochastic Game Logic Stochastic Game Logic
skos:notation
RIV/00216224:14330/07:00022945!RIV10-MSM-14330___
n4:aktivita
n13:P n13:Z
n4:aktivity
P(1M0545), Z(MSM0021622419)
n4:dodaniDat
n8:2010
n4:domaciTvurceVysledku
n10:1762834 n10:9872655
n4:druhVysledku
n17:D
n4:duvernostUdaju
n6:S
n4:entitaPredkladatele
n15:predkladatel
n4:idSjednocenehoVysledku
452552
n4:idVysledku
RIV/00216224:14330/07:00022945
n4:jazykVysledku
n16:eng
n4:klicovaSlova
stochastic systems; temporal logic; model checking
n4:klicoveSlovo
n7:model%20checking n7:temporal%20logic n7:stochastic%20systems
n4:kontrolniKodProRIV
[576F789ED0E9]
n4:mistoKonaniAkce
Edinburgh, Scotland
n4:mistoVydani
Los Alamitos, Washington, Tokyo
n4:nazevZdroje
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)
n4:obor
n20:IN
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
4
n4:projekt
n19:1M0545
n4:rokUplatneniVysledku
n8:2007
n4:tvurceVysledku
Baier, Christel Größer, Marcus Kučera, Antonín Brázdil, Tomáš
n4:typAkce
n14:WRD
n4:zahajeniAkce
2007-09-16+02:00
n4:zamer
n5:MSM0021622419
s:numberOfPages
10
n3:hasPublisher
IEEE Computer Society
n9:isbn
0-7695-2883-X
n18:organizacniJednotka
14330