The Multiple Dimensions of Mean-Payoff Games View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2017-08-25

AUTHORS

Laurent Doyen

ABSTRACT

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.

PAGES

1-8

References to SciGraph publications

  • 2015. Pareto Curves of Multidimensional Mean-Payoff Games in COMPUTER AIDED VERIFICATION
  • 1979-06. Positional strategies for mean payoff games in INTERNATIONAL JOURNAL OF GAME THEORY
  • 2014. Mean-Payoff Games with Partial-Observation in REACHABILITY PROBLEMS
  • 2011-04. Faster algorithms for mean-payoff games in FORMAL METHODS IN SYSTEM DESIGN
  • 2015. Robust Multidimensional Mean-Payoff Games are Undecidable in COMPILER CONSTRUCTION
  • 2013. Synthesis from LTL Specifications with Mean-Payoff Objectives in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2013. Looking at Mean-Payoff and Total-Payoff through Windows in AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
  • 2010. Energy Parity Games in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2009. On Omega-Languages Defined by Mean-Payoff Conditions in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 1993-06. Cyclical games with prohibitions in MATHEMATICAL PROGRAMMING
  • 2002. Infinite Games in AUTOMATA LOGICS, AND INFINITE GAMES
  • 2013. Hyperplane Separation Technique for Multidimensional Mean-Payoff Games in CONCUR 2013 – CONCURRENCY THEORY
  • 2014-06. Strategy synthesis for multi-dimensional quantitative objectives in ACTA INFORMATICA
  • 2007. Markov Decision Processes with Multiple Long-Run Average Objectives in FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
  • 2015. Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives in PRINCIPLES OF SECURITY AND TRUST
  • 2006. Half-Positional Determinacy of Infinite Games in AUTOMATA, LANGUAGES AND PROGRAMMING
  • 2010. Energy and Mean-Payoff Games with Imperfect Information in COMPUTER SCIENCE LOGIC
  • 2010. Mean-Payoff Automaton Expressions in CONCUR 2010 - CONCURRENCY THEORY
  • 2015. Fixed-Dimensional Energy Games are in Pseudo-Polynomial Time in AUTOMATA, LANGUAGES, AND PROGRAMMING
  • 2008. Infinite Runs in Weighted Timed Automata with Energy Constraints in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2004. When Can You Play Positionally? in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2004
  • 2014. Perfect-Information Stochastic Mean-Payoff Parity Games in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
  • 2003. Resource Interfaces in EMBEDDED SOFTWARE
  • Book

    TITLE

    Reachability Problems

    ISBN

    978-3-319-67088-1
    978-3-319-67089-8

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-67089-8_1

    DOI

    http://dx.doi.org/10.1007/978-3-319-67089-8_1

    DIMENSIONS

    https://app.dimensions.ai/details/publication/pub.1091344161


    Indexing Status Check whether this publication has been indexed by Scopus and Web Of Science using the SN Indexing Status Tool
    Incoming Citations Browse incoming citations for this publication using opencitations.net

    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

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    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

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-67089-8_1 schema:author Nc8d198eef9a949dd931597312eb01cc2
    2 schema:citation sg:pub.10.1007/11787006_29
    3 sg:pub.10.1007/3-540-36387-4_2
    4 sg:pub.10.1007/978-3-319-02444-8_10
    5 sg:pub.10.1007/978-3-319-11439-2_13
    6 sg:pub.10.1007/978-3-319-21668-3_15
    7 sg:pub.10.1007/978-3-540-28629-5_53
    8 sg:pub.10.1007/978-3-540-45212-6_9
    9 sg:pub.10.1007/978-3-540-77050-3_39
    10 sg:pub.10.1007/978-3-540-85778-5_4
    11 sg:pub.10.1007/978-3-642-00596-1_24
    12 sg:pub.10.1007/978-3-642-14162-1_50
    13 sg:pub.10.1007/978-3-642-15205-4_22
    14 sg:pub.10.1007/978-3-642-15375-4_19
    15 sg:pub.10.1007/978-3-642-36742-7_12
    16 sg:pub.10.1007/978-3-642-40184-8_35
    17 sg:pub.10.1007/978-3-642-54830-7_14
    18 sg:pub.10.1007/978-3-662-46678-0_20
    19 sg:pub.10.1007/978-3-662-46681-0_22
    20 sg:pub.10.1007/978-3-662-47666-6_21
    21 sg:pub.10.1007/bf01580616
    22 sg:pub.10.1007/bf01768705
    23 sg:pub.10.1007/s00236-013-0182-6
    24 sg:pub.10.1007/s10703-010-0105-x
    25 https://doi.org/10.1016/0020-0190(86)90132-8
    26 https://doi.org/10.1016/0304-3975(95)00188-3
    27 https://doi.org/10.1016/j.ic.2015.03.001
    28 https://doi.org/10.1016/j.ipl.2016.10.005
    29 https://doi.org/10.1016/j.jcss.2011.05.002
    30 https://doi.org/10.1016/s0020-0190(98)00150-1
    31 https://doi.org/10.1090/cbms/013
    32 https://doi.org/10.1090/s0002-9947-1969-0280205-0
    33 https://doi.org/10.1109/5.21072
    34 https://doi.org/10.1109/lics.2005.26
    35 https://doi.org/10.1109/sfcs.1991.185392
    36 https://doi.org/10.1145/2603088.2603096
    37 https://doi.org/10.1145/2933575.2934513
    38 https://doi.org/10.1145/585265.585270
    39 https://doi.org/10.1145/75277.75293
    40 https://doi.org/10.1145/800070.802177
    41 schema:datePublished 2017-08-25
    42 schema:datePublishedReg 2017-08-25
    43 schema: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.
    44 schema:editor N466e41b04c04432884cc7edf4ba20860
    45 schema:genre chapter
    46 schema:inLanguage en
    47 schema:isAccessibleForFree false
    48 schema:isPartOf Nd35352316d8a43b88b4996f1cc374594
    49 schema:name The Multiple Dimensions of Mean-Payoff Games
    50 schema:pagination 1-8
    51 schema:productId N57eb9e7f3bce447b9bb677ab727975c8
    52 N79cb2a9bcd9843e5b890448585b87164
    53 N97634cc15b784bcc8aeca2ca6edfbd66
    54 schema:publisher Nc5bcc7d625414f5fbcfa9803e5cf166f
    55 schema:sameAs https://app.dimensions.ai/details/publication/pub.1091344161
    56 https://doi.org/10.1007/978-3-319-67089-8_1
    57 schema:sdDatePublished 2019-04-16T05:01
    58 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    59 schema:sdPublisher Nb373946643fe45c184b7d43b91096f28
    60 schema:url https://link.springer.com/10.1007%2F978-3-319-67089-8_1
    61 sgo:license sg:explorer/license/
    62 sgo:sdDataset chapters
    63 rdf:type schema:Chapter
    64 N05ffa8930fed4c9fa7b838de916c2592 rdf:first N923e7f2ca6854274b3f9916477964d86
    65 rdf:rest rdf:nil
    66 N3c028a3041ff4c88b73394131c82c0d4 schema:familyName Hague
    67 schema:givenName Matthew
    68 rdf:type schema:Person
    69 N466e41b04c04432884cc7edf4ba20860 rdf:first N3c028a3041ff4c88b73394131c82c0d4
    70 rdf:rest N05ffa8930fed4c9fa7b838de916c2592
    71 N57eb9e7f3bce447b9bb677ab727975c8 schema:name doi
    72 schema:value 10.1007/978-3-319-67089-8_1
    73 rdf:type schema:PropertyValue
    74 N79cb2a9bcd9843e5b890448585b87164 schema:name readcube_id
    75 schema:value 07bf9f14541b7adc7f53e6d663c0bcba20685a8845e96639747533b7d9228ddb
    76 rdf:type schema:PropertyValue
    77 N923e7f2ca6854274b3f9916477964d86 schema:familyName Potapov
    78 schema:givenName Igor
    79 rdf:type schema:Person
    80 N97634cc15b784bcc8aeca2ca6edfbd66 schema:name dimensions_id
    81 schema:value pub.1091344161
    82 rdf:type schema:PropertyValue
    83 Nb373946643fe45c184b7d43b91096f28 schema:name Springer Nature - SN SciGraph project
    84 rdf:type schema:Organization
    85 Nc5bcc7d625414f5fbcfa9803e5cf166f schema:location Cham
    86 schema:name Springer International Publishing
    87 rdf:type schema:Organisation
    88 Nc8d198eef9a949dd931597312eb01cc2 rdf:first sg:person.010301575457.70
    89 rdf:rest rdf:nil
    90 Nd35352316d8a43b88b4996f1cc374594 schema:isbn 978-3-319-67088-1
    91 978-3-319-67089-8
    92 schema:name Reachability Problems
    93 rdf:type schema:Book
    94 sg:person.010301575457.70 schema:affiliation https://www.grid.ac/institutes/grid.464035.0
    95 schema:familyName Doyen
    96 schema:givenName Laurent
    97 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010301575457.70
    98 rdf:type schema:Person
    99 sg:pub.10.1007/11787006_29 schema:sameAs https://app.dimensions.ai/details/publication/pub.1037550490
    100 https://doi.org/10.1007/11787006_29
    101 rdf:type schema:CreativeWork
    102 sg:pub.10.1007/3-540-36387-4_2 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043991046
    103 https://doi.org/10.1007/3-540-36387-4_2
    104 rdf:type schema:CreativeWork
    105 sg:pub.10.1007/978-3-319-02444-8_10 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044663508
    106 https://doi.org/10.1007/978-3-319-02444-8_10
    107 rdf:type schema:CreativeWork
    108 sg:pub.10.1007/978-3-319-11439-2_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1020754641
    109 https://doi.org/10.1007/978-3-319-11439-2_13
    110 rdf:type schema:CreativeWork
    111 sg:pub.10.1007/978-3-319-21668-3_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040085448
    112 https://doi.org/10.1007/978-3-319-21668-3_15
    113 rdf:type schema:CreativeWork
    114 sg:pub.10.1007/978-3-540-28629-5_53 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011024179
    115 https://doi.org/10.1007/978-3-540-28629-5_53
    116 rdf:type schema:CreativeWork
    117 sg:pub.10.1007/978-3-540-45212-6_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034896734
    118 https://doi.org/10.1007/978-3-540-45212-6_9
    119 rdf:type schema:CreativeWork
    120 sg:pub.10.1007/978-3-540-77050-3_39 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018782783
    121 https://doi.org/10.1007/978-3-540-77050-3_39
    122 rdf:type schema:CreativeWork
    123 sg:pub.10.1007/978-3-540-85778-5_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046321257
    124 https://doi.org/10.1007/978-3-540-85778-5_4
    125 rdf:type schema:CreativeWork
    126 sg:pub.10.1007/978-3-642-00596-1_24 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040096252
    127 https://doi.org/10.1007/978-3-642-00596-1_24
    128 rdf:type schema:CreativeWork
    129 sg:pub.10.1007/978-3-642-14162-1_50 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007068745
    130 https://doi.org/10.1007/978-3-642-14162-1_50
    131 rdf:type schema:CreativeWork
    132 sg:pub.10.1007/978-3-642-15205-4_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1035540783
    133 https://doi.org/10.1007/978-3-642-15205-4_22
    134 rdf:type schema:CreativeWork
    135 sg:pub.10.1007/978-3-642-15375-4_19 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043220674
    136 https://doi.org/10.1007/978-3-642-15375-4_19
    137 rdf:type schema:CreativeWork
    138 sg:pub.10.1007/978-3-642-36742-7_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011243039
    139 https://doi.org/10.1007/978-3-642-36742-7_12
    140 rdf:type schema:CreativeWork
    141 sg:pub.10.1007/978-3-642-40184-8_35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051566891
    142 https://doi.org/10.1007/978-3-642-40184-8_35
    143 rdf:type schema:CreativeWork
    144 sg:pub.10.1007/978-3-642-54830-7_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047322575
    145 https://doi.org/10.1007/978-3-642-54830-7_14
    146 rdf:type schema:CreativeWork
    147 sg:pub.10.1007/978-3-662-46678-0_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014929740
    148 https://doi.org/10.1007/978-3-662-46678-0_20
    149 rdf:type schema:CreativeWork
    150 sg:pub.10.1007/978-3-662-46681-0_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017762388
    151 https://doi.org/10.1007/978-3-662-46681-0_22
    152 rdf:type schema:CreativeWork
    153 sg:pub.10.1007/978-3-662-47666-6_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008878122
    154 https://doi.org/10.1007/978-3-662-47666-6_21
    155 rdf:type schema:CreativeWork
    156 sg:pub.10.1007/bf01580616 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036721262
    157 https://doi.org/10.1007/bf01580616
    158 rdf:type schema:CreativeWork
    159 sg:pub.10.1007/bf01768705 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021856463
    160 https://doi.org/10.1007/bf01768705
    161 rdf:type schema:CreativeWork
    162 sg:pub.10.1007/s00236-013-0182-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018480690
    163 https://doi.org/10.1007/s00236-013-0182-6
    164 rdf:type schema:CreativeWork
    165 sg:pub.10.1007/s10703-010-0105-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1027686195
    166 https://doi.org/10.1007/s10703-010-0105-x
    167 rdf:type schema:CreativeWork
    168 https://doi.org/10.1016/0020-0190(86)90132-8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006403811
    169 rdf:type schema:CreativeWork
    170 https://doi.org/10.1016/0304-3975(95)00188-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041478813
    171 rdf:type schema:CreativeWork
    172 https://doi.org/10.1016/j.ic.2015.03.001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010847376
    173 rdf:type schema:CreativeWork
    174 https://doi.org/10.1016/j.ipl.2016.10.005 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044756522
    175 rdf:type schema:CreativeWork
    176 https://doi.org/10.1016/j.jcss.2011.05.002 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032091178
    177 rdf:type schema:CreativeWork
    178 https://doi.org/10.1016/s0020-0190(98)00150-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1014580512
    179 rdf:type schema:CreativeWork
    180 https://doi.org/10.1090/cbms/013 schema:sameAs https://app.dimensions.ai/details/publication/pub.1098741847
    181 rdf:type schema:CreativeWork
    182 https://doi.org/10.1090/s0002-9947-1969-0280205-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050410546
    183 rdf:type schema:CreativeWork
    184 https://doi.org/10.1109/5.21072 schema:sameAs https://app.dimensions.ai/details/publication/pub.1061178998
    185 rdf:type schema:CreativeWork
    186 https://doi.org/10.1109/lics.2005.26 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095095915
    187 rdf:type schema:CreativeWork
    188 https://doi.org/10.1109/sfcs.1991.185392 schema:sameAs https://app.dimensions.ai/details/publication/pub.1086358260
    189 rdf:type schema:CreativeWork
    190 https://doi.org/10.1145/2603088.2603096 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046183099
    191 rdf:type schema:CreativeWork
    192 https://doi.org/10.1145/2933575.2934513 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049832596
    193 rdf:type schema:CreativeWork
    194 https://doi.org/10.1145/585265.585270 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010004821
    195 rdf:type schema:CreativeWork
    196 https://doi.org/10.1145/75277.75293 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013890906
    197 rdf:type schema:CreativeWork
    198 https://doi.org/10.1145/800070.802177 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010550468
    199 rdf:type schema:CreativeWork
    200 https://www.grid.ac/institutes/grid.464035.0 schema:alternateName Laboratoire Spécification et Vérification
    201 schema:name LSV, ENS Paris-Saclay and CNRS, Cachan, France
    202 rdf:type schema:Organization
     




    Preview window. Press ESC to close (or click here)


    ...