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

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

Namespace Prefixes

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

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F12%3A00057576%21RIV13-GA0-14330___
rdf:type
skos:Concept n17:Vysledek
dcterms:description
We introduce consumption games, a model for discrete interactive system with multiple resources that are consumed or reloaded independently. We consider several natural algorithmic problems about consumption games, and show that although these problems are computationally hard in general, they are efficiently solvable if the number of resource types is fixed. We introduce consumption games, a model for discrete interactive system with multiple resources that are consumed or reloaded independently. We consider several natural algorithmic problems about consumption games, and show that although these problems are computationally hard in general, they are efficiently solvable if the number of resource types is fixed.
dcterms:title
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
skos:prefLabel
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
skos:notation
RIV/00216224:14330/12:00057576!RIV13-GA0-14330___
n17:predkladatel
n18:orjk%3A14330
n3:aktivita
n8:P
n3:aktivity
P(GAP202/10/1469)
n3:dodaniDat
n23:2013
n3:domaciTvurceVysledku
n7:9872655 n7:1762834 n7:2158507
n3:druhVysledku
n14:D
n3:duvernostUdaju
n21:S
n3:entitaPredkladatele
n11:predkladatel
n3:idSjednocenehoVysledku
133560
n3:idVysledku
RIV/00216224:14330/12:00057576
n3:jazykVysledku
n13:eng
n3:klicovaSlova
graph games; resource dependent systems
n3:klicoveSlovo
n5:resource%20dependent%20systems n5:graph%20games
n3:kontrolniKodProRIV
[ACF6A34AC428]
n3:mistoKonaniAkce
Berkeley, CA, USA
n3:mistoVydani
Berlin
n3:nazevZdroje
Computer Aided Verification - 24th International Conference, CAV 2012
n3:obor
n22:IN
n3:pocetDomacichTvurcuVysledku
3
n3:pocetTvurcuVysledku
4
n3:projekt
n4:GAP202%2F10%2F1469
n3:rokUplatneniVysledku
n23:2012
n3:tvurceVysledku
Novotný, Petr Chatterjee, Krishnendu Brázdil, Tomáš Kučera, Antonín
n3:typAkce
n10:WRD
n3:zahajeniAkce
2012-01-01+01:00
s:issn
0302-9743
s:numberOfPages
16
n12:doi
10.1007/978-3-642-31424-7_8
n6:hasPublisher
Springer-Verlag
n19:isbn
9783642314230
n20:organizacniJednotka
14330