Bounding Average-Energy Games View Full Text


Ontology type: schema:Chapter      Open Access: True


Chapter Info

DATE

2017

AUTHORS

Patricia Bouyer , Piotr Hofman , Nicolas Markey , Mickael Randour , Martin Zimmermann

ABSTRACT

We consider average-energy games, where the goal is to minimize the long-run average of the accumulated energy. While several results have been obtained on these games recently, decidability of average-energy games with a lower-bound constraint on the energy level (but no upper bound) remained open; in particular, so far there was no known upper bound on the memory that is required for winning strategies. By reducing average-energy games with lower-bounded energy to infinite-state mean-payoff games and analyzing the density of low-energy configurations, we show an almost tight doubly-exponential upper bound on the necessary memory, and prove that the winner of average-energy games with lower-bounded energy can be determined in doubly-exponential time. We also prove Open image in new window-hardness of this problem. Finally, we consider multi-dimensional extensions of all types of average-energy games: without bounds, with only a lower bound, and with both a lower and an upper bound on the energy. We show that the fully-bounded version is the only case to remain decidable in multiple dimensions. More... »

PAGES

179-195

References to SciGraph publications

Identifiers

URI

http://scigraph.springernature.com/pub.10.1007/978-3-662-54458-7_11

DOI

http://dx.doi.org/10.1007/978-3-662-54458-7_11

DIMENSIONS

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


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", 
    "about": [
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0801", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Artificial Intelligence and Image Processing", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/08", 
        "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
        "name": "Information and Computing Sciences", 
        "type": "DefinedTerm"
      }
    ], 
    "author": [
      {
        "affiliation": {
          "alternateName": "Laboratoire Sp\u00e9cification et V\u00e9rification", 
          "id": "https://www.grid.ac/institutes/grid.464035.0", 
          "name": [
            "LSV, CNRS & ENS Cachan Universit\u00e9 Paris Saclay Cachan France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Bouyer", 
        "givenName": "Patricia", 
        "id": "sg:person.014467443251.73", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014467443251.73"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "University of Warsaw", 
          "id": "https://www.grid.ac/institutes/grid.12847.38", 
          "name": [
            "LSV, CNRS & ENS Cachan Universit\u00e9 Paris Saclay Cachan France", 
            "University of Warsaw Warszawa Poland"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Hofman", 
        "givenName": "Piotr", 
        "id": "sg:person.012777200657.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012777200657.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires", 
          "id": "https://www.grid.ac/institutes/grid.420225.3", 
          "name": [
            "LSV, CNRS & ENS Cachan Universit\u00e9 Paris Saclay Cachan France", 
            "IRISA, CNRS & INRIA & U. Rennes 1 Rennes France"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Markey", 
        "givenName": "Nicolas", 
        "id": "sg:person.07601744130.31", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07601744130.31"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Universit\u00e9 Libre de Bruxelles", 
          "id": "https://www.grid.ac/institutes/grid.4989.c", 
          "name": [
            "Computer Science Department ULB - Universit\u00e9 Libre de Bruxelles Brussels Belgium"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Randour", 
        "givenName": "Mickael", 
        "id": "sg:person.016525130237.39", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016525130237.39"
        ], 
        "type": "Person"
      }, 
      {
        "affiliation": {
          "alternateName": "Saarland University", 
          "id": "https://www.grid.ac/institutes/grid.11749.3a", 
          "name": [
            "Reactive Systems Group Saarland University Saarbr\u00fccken Germany"
          ], 
          "type": "Organization"
        }, 
        "familyName": "Zimmermann", 
        "givenName": "Martin", 
        "id": "sg:person.010652217057.74", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010652217057.74"
        ], 
        "type": "Person"
      }
    ], 
    "citation": [
      {
        "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.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": "https://doi.org/10.1016/j.ic.2015.03.010", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1013377026"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.ic.2014.12.004", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1017400081"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/j.tcs.2012.07.038", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1017993333"
        ], 
        "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/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/978-3-319-24537-9_5", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1024001381", 
          "https://doi.org/10.1007/978-3-319-24537-9_5"
        ], 
        "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": "sg:pub.10.1007/978-3-642-02658-4_14", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034421154", 
          "https://doi.org/10.1007/978-3-642-02658-4_14"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-02658-4_14", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1034421154", 
          "https://doi.org/10.1007/978-3-642-02658-4_14"
        ], 
        "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-00602-9_7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1036660750", 
          "https://doi.org/10.1007/978-3-642-00602-9_7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-00602-9_7", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1036660750", 
          "https://doi.org/10.1007/978-3-642-00602-9_7"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/bf01732644", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1038261869", 
          "https://doi.org/10.1007/bf01732644"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s00236-016-0274-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1039997237", 
          "https://doi.org/10.1007/s00236-016-0274-1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/s00236-016-0274-1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1039997237", 
          "https://doi.org/10.1007/s00236-016-0274-1"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1016/0012-365x(78)90011-0", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1040432621"
        ], 
        "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-319-00395-5_90", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1044793646", 
          "https://doi.org/10.1007/978-3-319-00395-5_90"
        ], 
        "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": "https://doi.org/10.1006/inco.2000.2894", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1046428528"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "sg:pub.10.1007/978-3-642-39698-4_15", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1047231693", 
          "https://doi.org/10.1007/978-3-642-39698-4_15"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.4204/eptcs.227.1", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1072355958"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.4204/eptcs.96.14", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1072356969"
        ], 
        "type": "CreativeWork"
      }, 
      {
        "id": "https://doi.org/10.1109/lics.2012.30", 
        "sameAs": [
          "https://app.dimensions.ai/details/publication/pub.1095598064"
        ], 
        "type": "CreativeWork"
      }
    ], 
    "datePublished": "2017", 
    "datePublishedReg": "2017-01-01", 
    "description": "We consider average-energy games, where the goal is to minimize the long-run average of the accumulated energy. While several results have been obtained on these games recently, decidability of average-energy games with a lower-bound constraint on the energy level (but no upper bound) remained open; in particular, so far there was no known upper bound on the memory that is required for winning strategies. By reducing average-energy games with lower-bounded energy to infinite-state mean-payoff games and analyzing the density of low-energy configurations, we show an almost tight doubly-exponential upper bound on the necessary memory, and prove that the winner of average-energy games with lower-bounded energy can be determined in doubly-exponential time. We also prove Open image in new window-hardness of this problem. Finally, we consider multi-dimensional extensions of all types of average-energy games: without bounds, with only a lower bound, and with both a lower and an upper bound on the energy. We show that the fully-bounded version is the only case to remain decidable in multiple dimensions.", 
    "editor": [
      {
        "familyName": "Esparza", 
        "givenName": "Javier", 
        "type": "Person"
      }, 
      {
        "familyName": "Murawski", 
        "givenName": "Andrzej S.", 
        "type": "Person"
      }
    ], 
    "genre": "chapter", 
    "id": "sg:pub.10.1007/978-3-662-54458-7_11", 
    "inLanguage": [
      "en"
    ], 
    "isAccessibleForFree": true, 
    "isFundedItemOf": [
      {
        "id": "sg:grant.3795792", 
        "type": "MonetaryGrant"
      }
    ], 
    "isPartOf": {
      "isbn": [
        "978-3-662-54457-0", 
        "978-3-662-54458-7"
      ], 
      "name": "Foundations of Software Science and Computation Structures", 
      "type": "Book"
    }, 
    "name": "Bounding Average-Energy Games", 
    "pagination": "179-195", 
    "productId": [
      {
        "name": "doi", 
        "type": "PropertyValue", 
        "value": [
          "10.1007/978-3-662-54458-7_11"
        ]
      }, 
      {
        "name": "readcube_id", 
        "type": "PropertyValue", 
        "value": [
          "dc367c019010e8575e230214f500bd24b9389bd1a4ea53e2bde1cae88c4e671e"
        ]
      }, 
      {
        "name": "dimensions_id", 
        "type": "PropertyValue", 
        "value": [
          "pub.1084728175"
        ]
      }
    ], 
    "publisher": {
      "location": "Berlin, Heidelberg", 
      "name": "Springer Berlin Heidelberg", 
      "type": "Organisation"
    }, 
    "sameAs": [
      "https://doi.org/10.1007/978-3-662-54458-7_11", 
      "https://app.dimensions.ai/details/publication/pub.1084728175"
    ], 
    "sdDataset": "chapters", 
    "sdDatePublished": "2019-04-15T13:38", 
    "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/0000000001_0000000264/records_8664_00000331.jsonl", 
    "type": "Chapter", 
    "url": "http://link.springer.com/10.1007/978-3-662-54458-7_11"
  }
]
 

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-662-54458-7_11'

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-662-54458-7_11'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-662-54458-7_11'

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-662-54458-7_11'


 

This table displays all metadata directly associated to this object as RDF triples.

196 TRIPLES      23 PREDICATES      50 URIs      20 LITERALS      8 BLANK NODES

Subject Predicate Object
1 sg:pub.10.1007/978-3-662-54458-7_11 schema:about anzsrc-for:08
2 anzsrc-for:0801
3 schema:author N14410977e3e74e9b80168758dfc15cdb
4 schema:citation sg:pub.10.1007/978-3-319-00395-5_90
5 sg:pub.10.1007/978-3-319-24537-9_5
6 sg:pub.10.1007/978-3-540-45212-6_9
7 sg:pub.10.1007/978-3-540-85778-5_4
8 sg:pub.10.1007/978-3-642-00602-9_7
9 sg:pub.10.1007/978-3-642-02658-4_14
10 sg:pub.10.1007/978-3-642-39698-4_15
11 sg:pub.10.1007/978-3-662-47666-6_21
12 sg:pub.10.1007/bf01732644
13 sg:pub.10.1007/bf01768705
14 sg:pub.10.1007/s00236-013-0182-6
15 sg:pub.10.1007/s00236-016-0274-1
16 sg:pub.10.1007/s10703-010-0105-x
17 https://doi.org/10.1006/inco.2000.2894
18 https://doi.org/10.1016/0012-365x(78)90011-0
19 https://doi.org/10.1016/0304-3975(95)00188-3
20 https://doi.org/10.1016/j.ic.2014.12.004
21 https://doi.org/10.1016/j.ic.2015.03.001
22 https://doi.org/10.1016/j.ic.2015.03.010
23 https://doi.org/10.1016/j.tcs.2012.07.038
24 https://doi.org/10.1109/lics.2012.30
25 https://doi.org/10.4204/eptcs.227.1
26 https://doi.org/10.4204/eptcs.96.14
27 schema:datePublished 2017
28 schema:datePublishedReg 2017-01-01
29 schema:description We consider average-energy games, where the goal is to minimize the long-run average of the accumulated energy. While several results have been obtained on these games recently, decidability of average-energy games with a lower-bound constraint on the energy level (but no upper bound) remained open; in particular, so far there was no known upper bound on the memory that is required for winning strategies. By reducing average-energy games with lower-bounded energy to infinite-state mean-payoff games and analyzing the density of low-energy configurations, we show an almost tight doubly-exponential upper bound on the necessary memory, and prove that the winner of average-energy games with lower-bounded energy can be determined in doubly-exponential time. We also prove Open image in new window-hardness of this problem. Finally, we consider multi-dimensional extensions of all types of average-energy games: without bounds, with only a lower bound, and with both a lower and an upper bound on the energy. We show that the fully-bounded version is the only case to remain decidable in multiple dimensions.
30 schema:editor N0bede480bb134f6bba88c2970872ee06
31 schema:genre chapter
32 schema:inLanguage en
33 schema:isAccessibleForFree true
34 schema:isPartOf N74c2021a93da4db19cbede1891b54809
35 schema:name Bounding Average-Energy Games
36 schema:pagination 179-195
37 schema:productId N36f567614282491592f97c0d74cd4c35
38 N481273758b3344ffa684119d9cb89faf
39 Nf27f3b8d2f884664aef507d6df2a53dc
40 schema:publisher N1d64e37ae82646479849afb4111bba36
41 schema:sameAs https://app.dimensions.ai/details/publication/pub.1084728175
42 https://doi.org/10.1007/978-3-662-54458-7_11
43 schema:sdDatePublished 2019-04-15T13:38
44 schema:sdLicense https://scigraph.springernature.com/explorer/license/
45 schema:sdPublisher N079dac24f91a4072bbd64335e7497e11
46 schema:url http://link.springer.com/10.1007/978-3-662-54458-7_11
47 sgo:license sg:explorer/license/
48 sgo:sdDataset chapters
49 rdf:type schema:Chapter
50 N079dac24f91a4072bbd64335e7497e11 schema:name Springer Nature - SN SciGraph project
51 rdf:type schema:Organization
52 N0bede480bb134f6bba88c2970872ee06 rdf:first Na4583cc22e96410f9661698bf859c130
53 rdf:rest Nffd44156003f41c2a49a235e3626babb
54 N14410977e3e74e9b80168758dfc15cdb rdf:first sg:person.014467443251.73
55 rdf:rest N248f4275302242bbb780edd71a82d87f
56 N1d64e37ae82646479849afb4111bba36 schema:location Berlin, Heidelberg
57 schema:name Springer Berlin Heidelberg
58 rdf:type schema:Organisation
59 N248f4275302242bbb780edd71a82d87f rdf:first sg:person.012777200657.31
60 rdf:rest Nfdf6e84188ed4f7fa8a9731837536644
61 N36f567614282491592f97c0d74cd4c35 schema:name dimensions_id
62 schema:value pub.1084728175
63 rdf:type schema:PropertyValue
64 N481273758b3344ffa684119d9cb89faf schema:name doi
65 schema:value 10.1007/978-3-662-54458-7_11
66 rdf:type schema:PropertyValue
67 N74c2021a93da4db19cbede1891b54809 schema:isbn 978-3-662-54457-0
68 978-3-662-54458-7
69 schema:name Foundations of Software Science and Computation Structures
70 rdf:type schema:Book
71 N780d1066be7d411eafc55cfb8c4fc531 schema:familyName Murawski
72 schema:givenName Andrzej S.
73 rdf:type schema:Person
74 Na4583cc22e96410f9661698bf859c130 schema:familyName Esparza
75 schema:givenName Javier
76 rdf:type schema:Person
77 Nbbcb14597330463986b267357eca3d26 rdf:first sg:person.010652217057.74
78 rdf:rest rdf:nil
79 Nc046c4bc03b045bf9d33af7d180c906c rdf:first sg:person.016525130237.39
80 rdf:rest Nbbcb14597330463986b267357eca3d26
81 Nf27f3b8d2f884664aef507d6df2a53dc schema:name readcube_id
82 schema:value dc367c019010e8575e230214f500bd24b9389bd1a4ea53e2bde1cae88c4e671e
83 rdf:type schema:PropertyValue
84 Nfdf6e84188ed4f7fa8a9731837536644 rdf:first sg:person.07601744130.31
85 rdf:rest Nc046c4bc03b045bf9d33af7d180c906c
86 Nffd44156003f41c2a49a235e3626babb rdf:first N780d1066be7d411eafc55cfb8c4fc531
87 rdf:rest rdf:nil
88 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
89 schema:name Information and Computing Sciences
90 rdf:type schema:DefinedTerm
91 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
92 schema:name Artificial Intelligence and Image Processing
93 rdf:type schema:DefinedTerm
94 sg:grant.3795792 http://pending.schema.org/fundedItem sg:pub.10.1007/978-3-662-54458-7_11
95 rdf:type schema:MonetaryGrant
96 sg:person.010652217057.74 schema:affiliation https://www.grid.ac/institutes/grid.11749.3a
97 schema:familyName Zimmermann
98 schema:givenName Martin
99 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010652217057.74
100 rdf:type schema:Person
101 sg:person.012777200657.31 schema:affiliation https://www.grid.ac/institutes/grid.12847.38
102 schema:familyName Hofman
103 schema:givenName Piotr
104 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012777200657.31
105 rdf:type schema:Person
106 sg:person.014467443251.73 schema:affiliation https://www.grid.ac/institutes/grid.464035.0
107 schema:familyName Bouyer
108 schema:givenName Patricia
109 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014467443251.73
110 rdf:type schema:Person
111 sg:person.016525130237.39 schema:affiliation https://www.grid.ac/institutes/grid.4989.c
112 schema:familyName Randour
113 schema:givenName Mickael
114 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016525130237.39
115 rdf:type schema:Person
116 sg:person.07601744130.31 schema:affiliation https://www.grid.ac/institutes/grid.420225.3
117 schema:familyName Markey
118 schema:givenName Nicolas
119 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.07601744130.31
120 rdf:type schema:Person
121 sg:pub.10.1007/978-3-319-00395-5_90 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044793646
122 https://doi.org/10.1007/978-3-319-00395-5_90
123 rdf:type schema:CreativeWork
124 sg:pub.10.1007/978-3-319-24537-9_5 schema:sameAs https://app.dimensions.ai/details/publication/pub.1024001381
125 https://doi.org/10.1007/978-3-319-24537-9_5
126 rdf:type schema:CreativeWork
127 sg:pub.10.1007/978-3-540-45212-6_9 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034896734
128 https://doi.org/10.1007/978-3-540-45212-6_9
129 rdf:type schema:CreativeWork
130 sg:pub.10.1007/978-3-540-85778-5_4 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046321257
131 https://doi.org/10.1007/978-3-540-85778-5_4
132 rdf:type schema:CreativeWork
133 sg:pub.10.1007/978-3-642-00602-9_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1036660750
134 https://doi.org/10.1007/978-3-642-00602-9_7
135 rdf:type schema:CreativeWork
136 sg:pub.10.1007/978-3-642-02658-4_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034421154
137 https://doi.org/10.1007/978-3-642-02658-4_14
138 rdf:type schema:CreativeWork
139 sg:pub.10.1007/978-3-642-39698-4_15 schema:sameAs https://app.dimensions.ai/details/publication/pub.1047231693
140 https://doi.org/10.1007/978-3-642-39698-4_15
141 rdf:type schema:CreativeWork
142 sg:pub.10.1007/978-3-662-47666-6_21 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008878122
143 https://doi.org/10.1007/978-3-662-47666-6_21
144 rdf:type schema:CreativeWork
145 sg:pub.10.1007/bf01732644 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038261869
146 https://doi.org/10.1007/bf01732644
147 rdf:type schema:CreativeWork
148 sg:pub.10.1007/bf01768705 schema:sameAs https://app.dimensions.ai/details/publication/pub.1021856463
149 https://doi.org/10.1007/bf01768705
150 rdf:type schema:CreativeWork
151 sg:pub.10.1007/s00236-013-0182-6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1018480690
152 https://doi.org/10.1007/s00236-013-0182-6
153 rdf:type schema:CreativeWork
154 sg:pub.10.1007/s00236-016-0274-1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039997237
155 https://doi.org/10.1007/s00236-016-0274-1
156 rdf:type schema:CreativeWork
157 sg:pub.10.1007/s10703-010-0105-x schema:sameAs https://app.dimensions.ai/details/publication/pub.1027686195
158 https://doi.org/10.1007/s10703-010-0105-x
159 rdf:type schema:CreativeWork
160 https://doi.org/10.1006/inco.2000.2894 schema:sameAs https://app.dimensions.ai/details/publication/pub.1046428528
161 rdf:type schema:CreativeWork
162 https://doi.org/10.1016/0012-365x(78)90011-0 schema:sameAs https://app.dimensions.ai/details/publication/pub.1040432621
163 rdf:type schema:CreativeWork
164 https://doi.org/10.1016/0304-3975(95)00188-3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1041478813
165 rdf:type schema:CreativeWork
166 https://doi.org/10.1016/j.ic.2014.12.004 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017400081
167 rdf:type schema:CreativeWork
168 https://doi.org/10.1016/j.ic.2015.03.001 schema:sameAs https://app.dimensions.ai/details/publication/pub.1010847376
169 rdf:type schema:CreativeWork
170 https://doi.org/10.1016/j.ic.2015.03.010 schema:sameAs https://app.dimensions.ai/details/publication/pub.1013377026
171 rdf:type schema:CreativeWork
172 https://doi.org/10.1016/j.tcs.2012.07.038 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017993333
173 rdf:type schema:CreativeWork
174 https://doi.org/10.1109/lics.2012.30 schema:sameAs https://app.dimensions.ai/details/publication/pub.1095598064
175 rdf:type schema:CreativeWork
176 https://doi.org/10.4204/eptcs.227.1 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072355958
177 rdf:type schema:CreativeWork
178 https://doi.org/10.4204/eptcs.96.14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1072356969
179 rdf:type schema:CreativeWork
180 https://www.grid.ac/institutes/grid.11749.3a schema:alternateName Saarland University
181 schema:name Reactive Systems Group Saarland University Saarbrücken Germany
182 rdf:type schema:Organization
183 https://www.grid.ac/institutes/grid.12847.38 schema:alternateName University of Warsaw
184 schema:name LSV, CNRS & ENS Cachan Université Paris Saclay Cachan France
185 University of Warsaw Warszawa Poland
186 rdf:type schema:Organization
187 https://www.grid.ac/institutes/grid.420225.3 schema:alternateName Institut de Recherche en Informatique et Systèmes Aléatoires
188 schema:name IRISA, CNRS & INRIA & U. Rennes 1 Rennes France
189 LSV, CNRS & ENS Cachan Université Paris Saclay Cachan France
190 rdf:type schema:Organization
191 https://www.grid.ac/institutes/grid.464035.0 schema:alternateName Laboratoire Spécification et Vérification
192 schema:name LSV, CNRS & ENS Cachan Université Paris Saclay Cachan France
193 rdf:type schema:Organization
194 https://www.grid.ac/institutes/grid.4989.c schema:alternateName Université Libre de Bruxelles
195 schema:name Computer Science Department ULB - Université Libre de Bruxelles Brussels Belgium
196 rdf:type schema:Organization
 




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


...