2017-08-25
AUTHORS ABSTRACTOutline We consider quantitative game models for the design of reactive systems working in resource-constrained environment. The game is played on a finite weighted graph where some resource (e.g., battery) can be consumed or recharged along the edges of the graph.
PAGES1-8
Reachability Problems
ISBN
978-3-319-67088-1
978-3-319-67089-8
http://scigraph.springernature.com/pub.10.1007/978-3-319-67089-8_1
DOIhttp://dx.doi.org/10.1007/978-3-319-67089-8_1
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1091344161
JSON-LD is the canonical representation for SciGraph data.
TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT
[
{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
"author": [
{
"affiliation": {
"alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification",
"id": "https://www.grid.ac/institutes/grid.464035.0",
"name": [
"LSV, ENS Paris-Saclay and CNRS, Cachan, France"
],
"type": "Organization"
},
"familyName": "Doyen",
"givenName": "Laurent",
"id": "sg:person.010301575457.70",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010301575457.70"
],
"type": "Person"
}
],
"citation": [
{
"id": "https://doi.org/10.1016/0020-0190(86)90132-8",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1006403811"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/0020-0190(86)90132-8",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1006403811"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-14162-1_50",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1007068745",
"https://doi.org/10.1007/978-3-642-14162-1_50"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-14162-1_50",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1007068745",
"https://doi.org/10.1007/978-3-642-14162-1_50"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-662-47666-6_21",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1008878122",
"https://doi.org/10.1007/978-3-662-47666-6_21"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1145/585265.585270",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1010004821"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1145/800070.802177",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1010550468"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.ic.2015.03.001",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1010847376"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.ic.2015.03.001",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1010847376"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-28629-5_53",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1011024179",
"https://doi.org/10.1007/978-3-540-28629-5_53"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-28629-5_53",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1011024179",
"https://doi.org/10.1007/978-3-540-28629-5_53"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-36742-7_12",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1011243039",
"https://doi.org/10.1007/978-3-642-36742-7_12"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1145/75277.75293",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1013890906"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/s0020-0190(98)00150-1",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1014580512"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-662-46678-0_20",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1014929740",
"https://doi.org/10.1007/978-3-662-46678-0_20"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-662-46678-0_20",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1014929740",
"https://doi.org/10.1007/978-3-662-46678-0_20"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-662-46681-0_22",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1017762388",
"https://doi.org/10.1007/978-3-662-46681-0_22"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-662-46681-0_22",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1017762388",
"https://doi.org/10.1007/978-3-662-46681-0_22"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s00236-013-0182-6",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1018480690",
"https://doi.org/10.1007/s00236-013-0182-6"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-77050-3_39",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1018782783",
"https://doi.org/10.1007/978-3-540-77050-3_39"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-77050-3_39",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1018782783",
"https://doi.org/10.1007/978-3-540-77050-3_39"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-319-11439-2_13",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1020754641",
"https://doi.org/10.1007/978-3-319-11439-2_13"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf01768705",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1021856463",
"https://doi.org/10.1007/bf01768705"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf01768705",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1021856463",
"https://doi.org/10.1007/bf01768705"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/s10703-010-0105-x",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1027686195",
"https://doi.org/10.1007/s10703-010-0105-x"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.jcss.2011.05.002",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1032091178"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-45212-6_9",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1034896734",
"https://doi.org/10.1007/978-3-540-45212-6_9"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-45212-6_9",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1034896734",
"https://doi.org/10.1007/978-3-540-45212-6_9"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-15205-4_22",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1035540783",
"https://doi.org/10.1007/978-3-642-15205-4_22"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-15205-4_22",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1035540783",
"https://doi.org/10.1007/978-3-642-15205-4_22"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf01580616",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1036721262",
"https://doi.org/10.1007/bf01580616"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf01580616",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1036721262",
"https://doi.org/10.1007/bf01580616"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11787006_29",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1037550490",
"https://doi.org/10.1007/11787006_29"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/11787006_29",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1037550490",
"https://doi.org/10.1007/11787006_29"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-319-21668-3_15",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1040085448",
"https://doi.org/10.1007/978-3-319-21668-3_15"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-00596-1_24",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1040096252",
"https://doi.org/10.1007/978-3-642-00596-1_24"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-00596-1_24",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1040096252",
"https://doi.org/10.1007/978-3-642-00596-1_24"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/0304-3975(95)00188-3",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1041478813"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-15375-4_19",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1043220674",
"https://doi.org/10.1007/978-3-642-15375-4_19"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-15375-4_19",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1043220674",
"https://doi.org/10.1007/978-3-642-15375-4_19"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/3-540-36387-4_2",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1043991046",
"https://doi.org/10.1007/3-540-36387-4_2"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-319-02444-8_10",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1044663508",
"https://doi.org/10.1007/978-3-319-02444-8_10"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1016/j.ipl.2016.10.005",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1044756522"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1145/2603088.2603096",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1046183099"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-540-85778-5_4",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1046321257",
"https://doi.org/10.1007/978-3-540-85778-5_4"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-54830-7_14",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1047322575",
"https://doi.org/10.1007/978-3-642-54830-7_14"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1145/2933575.2934513",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1049832596"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1090/s0002-9947-1969-0280205-0",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1050410546"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/978-3-642-40184-8_35",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1051566891",
"https://doi.org/10.1007/978-3-642-40184-8_35"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/5.21072",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1061178998"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/sfcs.1991.185392",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1086358260"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1109/lics.2005.26",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1095095915"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1090/cbms/013",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1098741847"
],
"type": "CreativeWork"
}
],
"datePublished": "2017-08-25",
"datePublishedReg": "2017-08-25",
"description": "Outline We consider quantitative game models for the design of reactive systems working in resource-constrained environment. The game is played on a finite weighted graph where some resource (e.g., battery) can be consumed or recharged along the edges of the graph.",
"editor": [
{
"familyName": "Hague",
"givenName": "Matthew",
"type": "Person"
},
{
"familyName": "Potapov",
"givenName": "Igor",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-3-319-67089-8_1",
"inLanguage": [
"en"
],
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-3-319-67088-1",
"978-3-319-67089-8"
],
"name": "Reachability Problems",
"type": "Book"
},
"name": "The Multiple Dimensions of Mean-Payoff Games",
"pagination": "1-8",
"productId": [
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-3-319-67089-8_1"
]
},
{
"name": "readcube_id",
"type": "PropertyValue",
"value": [
"07bf9f14541b7adc7f53e6d663c0bcba20685a8845e96639747533b7d9228ddb"
]
},
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1091344161"
]
}
],
"publisher": {
"location": "Cham",
"name": "Springer International Publishing",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-3-319-67089-8_1",
"https://app.dimensions.ai/details/publication/pub.1091344161"
],
"sdDataset": "chapters",
"sdDatePublished": "2019-04-16T05:01",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000325_0000000325/records_100805_00000000.jsonl",
"type": "Chapter",
"url": "https://link.springer.com/10.1007%2F978-3-319-67089-8_1"
}
]
Download the RDF metadata as: json-ld nt turtle xml License info
JSON-LD is a popular format for linked data which is fully compatible with JSON.
curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-67089-8_1'
N-Triples is a line-based linked data format ideal for batch operations.
curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-67089-8_1'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-67089-8_1'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-67089-8_1'
This table displays all metadata directly associated to this object as RDF triples.
202 TRIPLES
22 PREDICATES
63 URIs
19 LITERALS
8 BLANK NODES