Automatic verification of competitive stochastic systems View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2013-02-16

AUTHORS

Taolue Chen, Vojtěch Forejt, Marta Kwiatkowska, David Parker, Aistis Simaitis

ABSTRACT

We present automatic verification techniques for the modelling and analysis of probabilistic systems that incorporate competitive behaviour. These systems are modelled as turn-based stochastic multi-player games, in which the players can either collaborate or compete in order to achieve a particular goal. We define a temporal logic called rPATL for expressing quantitative properties of stochastic multi-player games. This logic allows us to reason about the collective ability of a set of players to achieve a goal relating to the probability of an event’s occurrence or the expected amount of cost/reward accumulated. We give an algorithm for verifying properties expressed in this logic and implement the techniques in a probabilistic model checker, as an extension of the PRISM tool. We demonstrate the applicability and efficiency of our methods by deploying them to analyse and detect potential weaknesses in a variety of large case studies, including algorithms for energy management in Microgrids and collective decision making for autonomous systems. More... »

PAGES

61-92

References to SciGraph publications

  • 2012. An Algorithm for Probabilistic Alternating Simulation in SOFSEM 2012: THEORY AND PRACTICE OF COMPUTER SCIENCE
  • 2010. On Probabilistic Alternating Simulations in THEORETICAL COMPUTER SCIENCE
  • 2011. Quantitative Synthesis for Concurrent Programs in COMPUTER AIDED VERIFICATION
  • 1995. Model checking of probabilistic and nondeterministic systems in FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE
  • 2007-01-01. On the Expressiveness and Complexity of ATL in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES
  • 2012. Automatic Verification of Competitive Stochastic Systems in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2004. Discrete-Time Rewards Model-Checked in FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS
  • 2010. Gist: A Solver for Probabilistic Games in COMPUTER AIDED VERIFICATION
  • 1999. Computing Minimum and Maximum Reachability Times in Probabilistic Systems in CONCUR’99 CONCURRENCY THEORY
  • 2011. Verifying Team Formation Protocols with Probabilistic Model Checking in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS
  • 2008-01-01. Value Iteration in 25 YEARS OF MODEL CHECKING
  • 2011. Automated Verification Techniques for Probabilistic Systems in FORMAL METHODS FOR ETERNAL NETWORKED SOFTWARE SYSTEMS
  • 1994-09. A logic for reasoning about time and reliability in FORMAL ASPECTS OF COMPUTING
  • 2011. PRISM 4.0: Verification of Probabilistic Real-Time Systems in COMPUTER AIDED VERIFICATION
  • 2009. MCMAS: A Model Checker for the Verification of Multi-Agent Systems in COMPUTER AIDED VERIFICATION
  • 1998. MOCHA: Modularity in model checking in COMPUTER AIDED VERIFICATION
  • 2009. Computationally Sound Analysis of a Probabilistic Contract Signing Protocol in COMPUTER SECURITY – ESORICS 2009
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10703-013-0183-7

    DOI

    http://dx.doi.org/10.1007/s10703-013-0183-7

    DIMENSIONS

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


    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/08", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Information and Computing Sciences", 
            "type": "DefinedTerm"
          }, 
          {
            "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"
          }
        ], 
        "author": [
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of Oxford, Oxford, UK", 
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Department of Computer Science, University of Oxford, Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Chen", 
            "givenName": "Taolue", 
            "id": "sg:person.014034042506.15", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014034042506.15"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of Oxford, Oxford, UK", 
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Department of Computer Science, University of Oxford, Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Forejt", 
            "givenName": "Vojt\u011bch", 
            "id": "sg:person.012103627631.41", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012103627631.41"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of Oxford, Oxford, UK", 
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Department of Computer Science, University of Oxford, Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Kwiatkowska", 
            "givenName": "Marta", 
            "id": "sg:person.011375012273.39", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "School of Computer Science, University of Birmingham, Birmingham, UK", 
              "id": "http://www.grid.ac/institutes/grid.6572.6", 
              "name": [
                "School of Computer Science, University of Birmingham, Birmingham, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Parker", 
            "givenName": "David", 
            "id": "sg:person.014007552600.37", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014007552600.37"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Department of Computer Science, University of Oxford, Oxford, UK", 
              "id": "http://www.grid.ac/institutes/grid.4991.5", 
              "name": [
                "Department of Computer Science, University of Oxford, Oxford, UK"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Simaitis", 
            "givenName": "Aistis", 
            "id": "sg:person.010605171167.62", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010605171167.62"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-642-21455-4_3", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043781609", 
              "https://doi.org/10.1007/978-3-642-21455-4_3"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-69850-0_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003119906", 
              "https://doi.org/10.1007/978-3-540-69850-0_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-04444-1_35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008634145", 
              "https://doi.org/10.1007/978-3-642-04444-1_35"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-15240-5_6", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1043334706", 
              "https://doi.org/10.1007/978-3-642-15240-5_6"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-22110-1_20", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1044108353", 
              "https://doi.org/10.1007/978-3-642-22110-1_20"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-71389-0_18", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1003028153", 
              "https://doi.org/10.1007/978-3-540-71389-0_18"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-02658-4_55", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1034725998", 
              "https://doi.org/10.1007/978-3-642-02658-4_55"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-48320-9_7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1030350626", 
              "https://doi.org/10.1007/3-540-48320-9_7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-22110-1_47", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1027900693", 
              "https://doi.org/10.1007/978-3-642-22110-1_47"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-540-40903-8_8", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008333896", 
              "https://doi.org/10.1007/978-3-540-40903-8_8"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-28756-5_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1016880363", 
              "https://doi.org/10.1007/978-3-642-28756-5_22"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bf01211866", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1052049375", 
              "https://doi.org/10.1007/bf01211866"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/bfb0028774", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008146998", 
              "https://doi.org/10.1007/bfb0028774"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/3-540-60692-0_70", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1022695129", 
              "https://doi.org/10.1007/3-540-60692-0_70"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-22359-4_14", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1007353850", 
              "https://doi.org/10.1007/978-3-642-22359-4_14"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-14295-6_57", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1008976142", 
              "https://doi.org/10.1007/978-3-642-14295-6_57"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-27660-6_35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1006674636", 
              "https://doi.org/10.1007/978-3-642-27660-6_35"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2013-02-16", 
        "datePublishedReg": "2013-02-16", 
        "description": "We present automatic verification techniques for the modelling and analysis of probabilistic systems that incorporate competitive behaviour. These systems are modelled as turn-based stochastic multi-player games, in which the players can either collaborate or compete in order to achieve a particular goal. We define a temporal logic called rPATL for expressing quantitative properties of stochastic multi-player games. This logic allows us to reason about the collective ability of a set of players to achieve a goal relating to the probability of an event\u2019s occurrence or the expected amount of cost/reward accumulated. We give an algorithm for verifying properties expressed in this logic and implement the techniques in a probabilistic model checker, as an extension of the PRISM tool. We demonstrate the applicability and efficiency of our methods by deploying them to analyse and detect potential weaknesses in a variety of large case studies, including algorithms for energy management in Microgrids and collective decision making for autonomous systems.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10703-013-0183-7", 
        "inLanguage": "en", 
        "isAccessibleForFree": true, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.3560167", 
            "type": "MonetaryGrant"
          }, 
          {
            "id": "sg:grant.2777963", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": [
          {
            "id": "sg:journal.1052628", 
            "issn": [
              "0925-9856", 
              "1572-8102"
            ], 
            "name": "Formal Methods in System Design", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "1", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "43"
          }
        ], 
        "keywords": [
          "stochastic multi-player games", 
          "multi-player games", 
          "automatic verification technique", 
          "probabilistic model checker", 
          "costs/rewards", 
          "automatic verification", 
          "verification techniques", 
          "model checker", 
          "large case study", 
          "PRISM tool", 
          "temporal logic", 
          "autonomous systems", 
          "probabilistic systems", 
          "set of players", 
          "energy management", 
          "algorithm", 
          "logic", 
          "event occurrence", 
          "quantitative properties", 
          "particular goal", 
          "collective decision", 
          "game", 
          "checker", 
          "potential weaknesses", 
          "system", 
          "case study", 
          "verification", 
          "goal", 
          "technique", 
          "set", 
          "players", 
          "microgrid", 
          "tool", 
          "stochastic systems", 
          "decisions", 
          "applicability", 
          "extension", 
          "modelling", 
          "efficiency", 
          "competitive behavior", 
          "order", 
          "method", 
          "management", 
          "probability", 
          "weakness", 
          "collective ability", 
          "variety", 
          "analyse", 
          "reward", 
          "amount", 
          "ability", 
          "reasons", 
          "analysis", 
          "behavior", 
          "properties", 
          "occurrence", 
          "study", 
          "turn-based stochastic multi-player games", 
          "rPATL", 
          "competitive stochastic systems"
        ], 
        "name": "Automatic verification of competitive stochastic systems", 
        "pagination": "61-92", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1025808699"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10703-013-0183-7"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10703-013-0183-7", 
          "https://app.dimensions.ai/details/publication/pub.1025808699"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2021-11-01T18:20", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20211101/entities/gbq_results/article/article_597.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10703-013-0183-7"
      }
    ]
     

    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/s10703-013-0183-7'

    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/s10703-013-0183-7'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10703-013-0183-7'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10703-013-0183-7'


     

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

    221 TRIPLES      22 PREDICATES      102 URIs      77 LITERALS      6 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10703-013-0183-7 schema:about anzsrc-for:08
    2 anzsrc-for:0801
    3 schema:author N816f5720e49d4850b0f2dee02d5cb855
    4 schema:citation sg:pub.10.1007/3-540-48320-9_7
    5 sg:pub.10.1007/3-540-60692-0_70
    6 sg:pub.10.1007/978-3-540-40903-8_8
    7 sg:pub.10.1007/978-3-540-69850-0_7
    8 sg:pub.10.1007/978-3-540-71389-0_18
    9 sg:pub.10.1007/978-3-642-02658-4_55
    10 sg:pub.10.1007/978-3-642-04444-1_35
    11 sg:pub.10.1007/978-3-642-14295-6_57
    12 sg:pub.10.1007/978-3-642-15240-5_6
    13 sg:pub.10.1007/978-3-642-21455-4_3
    14 sg:pub.10.1007/978-3-642-22110-1_20
    15 sg:pub.10.1007/978-3-642-22110-1_47
    16 sg:pub.10.1007/978-3-642-22359-4_14
    17 sg:pub.10.1007/978-3-642-27660-6_35
    18 sg:pub.10.1007/978-3-642-28756-5_22
    19 sg:pub.10.1007/bf01211866
    20 sg:pub.10.1007/bfb0028774
    21 schema:datePublished 2013-02-16
    22 schema:datePublishedReg 2013-02-16
    23 schema:description We present automatic verification techniques for the modelling and analysis of probabilistic systems that incorporate competitive behaviour. These systems are modelled as turn-based stochastic multi-player games, in which the players can either collaborate or compete in order to achieve a particular goal. We define a temporal logic called rPATL for expressing quantitative properties of stochastic multi-player games. This logic allows us to reason about the collective ability of a set of players to achieve a goal relating to the probability of an event’s occurrence or the expected amount of cost/reward accumulated. We give an algorithm for verifying properties expressed in this logic and implement the techniques in a probabilistic model checker, as an extension of the PRISM tool. We demonstrate the applicability and efficiency of our methods by deploying them to analyse and detect potential weaknesses in a variety of large case studies, including algorithms for energy management in Microgrids and collective decision making for autonomous systems.
    24 schema:genre article
    25 schema:inLanguage en
    26 schema:isAccessibleForFree true
    27 schema:isPartOf N7de8b24777ac41ab994359c5fb22d59d
    28 N90f34e8814104e40a8f9fb629f42b5dc
    29 sg:journal.1052628
    30 schema:keywords PRISM tool
    31 ability
    32 algorithm
    33 amount
    34 analyse
    35 analysis
    36 applicability
    37 automatic verification
    38 automatic verification technique
    39 autonomous systems
    40 behavior
    41 case study
    42 checker
    43 collective ability
    44 collective decision
    45 competitive behavior
    46 competitive stochastic systems
    47 costs/rewards
    48 decisions
    49 efficiency
    50 energy management
    51 event occurrence
    52 extension
    53 game
    54 goal
    55 large case study
    56 logic
    57 management
    58 method
    59 microgrid
    60 model checker
    61 modelling
    62 multi-player games
    63 occurrence
    64 order
    65 particular goal
    66 players
    67 potential weaknesses
    68 probabilistic model checker
    69 probabilistic systems
    70 probability
    71 properties
    72 quantitative properties
    73 rPATL
    74 reasons
    75 reward
    76 set
    77 set of players
    78 stochastic multi-player games
    79 stochastic systems
    80 study
    81 system
    82 technique
    83 temporal logic
    84 tool
    85 turn-based stochastic multi-player games
    86 variety
    87 verification
    88 verification techniques
    89 weakness
    90 schema:name Automatic verification of competitive stochastic systems
    91 schema:pagination 61-92
    92 schema:productId Ndc4702be1c6848fab968bf2a2a970fce
    93 Ne975c9e951434ade99b06064c8725547
    94 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025808699
    95 https://doi.org/10.1007/s10703-013-0183-7
    96 schema:sdDatePublished 2021-11-01T18:20
    97 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    98 schema:sdPublisher N6e431080037e469899ea7415663f3ce7
    99 schema:url https://doi.org/10.1007/s10703-013-0183-7
    100 sgo:license sg:explorer/license/
    101 sgo:sdDataset articles
    102 rdf:type schema:ScholarlyArticle
    103 N3f528b6f587d45568d9d9957dd09a2d6 rdf:first sg:person.014007552600.37
    104 rdf:rest Nd15d6329b65149cca773f5a3e25ab717
    105 N6e431080037e469899ea7415663f3ce7 schema:name Springer Nature - SN SciGraph project
    106 rdf:type schema:Organization
    107 N7de8b24777ac41ab994359c5fb22d59d schema:issueNumber 1
    108 rdf:type schema:PublicationIssue
    109 N816f5720e49d4850b0f2dee02d5cb855 rdf:first sg:person.014034042506.15
    110 rdf:rest Ne7f2724583fd4f8dac35e5a2080928c2
    111 N90f34e8814104e40a8f9fb629f42b5dc schema:volumeNumber 43
    112 rdf:type schema:PublicationVolume
    113 Nc2b3e57bd2de4499b22cdb1cbed32c8c rdf:first sg:person.011375012273.39
    114 rdf:rest N3f528b6f587d45568d9d9957dd09a2d6
    115 Nd15d6329b65149cca773f5a3e25ab717 rdf:first sg:person.010605171167.62
    116 rdf:rest rdf:nil
    117 Ndc4702be1c6848fab968bf2a2a970fce schema:name dimensions_id
    118 schema:value pub.1025808699
    119 rdf:type schema:PropertyValue
    120 Ne7f2724583fd4f8dac35e5a2080928c2 rdf:first sg:person.012103627631.41
    121 rdf:rest Nc2b3e57bd2de4499b22cdb1cbed32c8c
    122 Ne975c9e951434ade99b06064c8725547 schema:name doi
    123 schema:value 10.1007/s10703-013-0183-7
    124 rdf:type schema:PropertyValue
    125 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    126 schema:name Information and Computing Sciences
    127 rdf:type schema:DefinedTerm
    128 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
    129 schema:name Artificial Intelligence and Image Processing
    130 rdf:type schema:DefinedTerm
    131 sg:grant.2777963 http://pending.schema.org/fundedItem sg:pub.10.1007/s10703-013-0183-7
    132 rdf:type schema:MonetaryGrant
    133 sg:grant.3560167 http://pending.schema.org/fundedItem sg:pub.10.1007/s10703-013-0183-7
    134 rdf:type schema:MonetaryGrant
    135 sg:journal.1052628 schema:issn 0925-9856
    136 1572-8102
    137 schema:name Formal Methods in System Design
    138 schema:publisher Springer Nature
    139 rdf:type schema:Periodical
    140 sg:person.010605171167.62 schema:affiliation grid-institutes:grid.4991.5
    141 schema:familyName Simaitis
    142 schema:givenName Aistis
    143 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010605171167.62
    144 rdf:type schema:Person
    145 sg:person.011375012273.39 schema:affiliation grid-institutes:grid.4991.5
    146 schema:familyName Kwiatkowska
    147 schema:givenName Marta
    148 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
    149 rdf:type schema:Person
    150 sg:person.012103627631.41 schema:affiliation grid-institutes:grid.4991.5
    151 schema:familyName Forejt
    152 schema:givenName Vojtěch
    153 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.012103627631.41
    154 rdf:type schema:Person
    155 sg:person.014007552600.37 schema:affiliation grid-institutes:grid.6572.6
    156 schema:familyName Parker
    157 schema:givenName David
    158 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014007552600.37
    159 rdf:type schema:Person
    160 sg:person.014034042506.15 schema:affiliation grid-institutes:grid.4991.5
    161 schema:familyName Chen
    162 schema:givenName Taolue
    163 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014034042506.15
    164 rdf:type schema:Person
    165 sg:pub.10.1007/3-540-48320-9_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1030350626
    166 https://doi.org/10.1007/3-540-48320-9_7
    167 rdf:type schema:CreativeWork
    168 sg:pub.10.1007/3-540-60692-0_70 schema:sameAs https://app.dimensions.ai/details/publication/pub.1022695129
    169 https://doi.org/10.1007/3-540-60692-0_70
    170 rdf:type schema:CreativeWork
    171 sg:pub.10.1007/978-3-540-40903-8_8 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008333896
    172 https://doi.org/10.1007/978-3-540-40903-8_8
    173 rdf:type schema:CreativeWork
    174 sg:pub.10.1007/978-3-540-69850-0_7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003119906
    175 https://doi.org/10.1007/978-3-540-69850-0_7
    176 rdf:type schema:CreativeWork
    177 sg:pub.10.1007/978-3-540-71389-0_18 schema:sameAs https://app.dimensions.ai/details/publication/pub.1003028153
    178 https://doi.org/10.1007/978-3-540-71389-0_18
    179 rdf:type schema:CreativeWork
    180 sg:pub.10.1007/978-3-642-02658-4_55 schema:sameAs https://app.dimensions.ai/details/publication/pub.1034725998
    181 https://doi.org/10.1007/978-3-642-02658-4_55
    182 rdf:type schema:CreativeWork
    183 sg:pub.10.1007/978-3-642-04444-1_35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008634145
    184 https://doi.org/10.1007/978-3-642-04444-1_35
    185 rdf:type schema:CreativeWork
    186 sg:pub.10.1007/978-3-642-14295-6_57 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008976142
    187 https://doi.org/10.1007/978-3-642-14295-6_57
    188 rdf:type schema:CreativeWork
    189 sg:pub.10.1007/978-3-642-15240-5_6 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043334706
    190 https://doi.org/10.1007/978-3-642-15240-5_6
    191 rdf:type schema:CreativeWork
    192 sg:pub.10.1007/978-3-642-21455-4_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043781609
    193 https://doi.org/10.1007/978-3-642-21455-4_3
    194 rdf:type schema:CreativeWork
    195 sg:pub.10.1007/978-3-642-22110-1_20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1044108353
    196 https://doi.org/10.1007/978-3-642-22110-1_20
    197 rdf:type schema:CreativeWork
    198 sg:pub.10.1007/978-3-642-22110-1_47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027900693
    199 https://doi.org/10.1007/978-3-642-22110-1_47
    200 rdf:type schema:CreativeWork
    201 sg:pub.10.1007/978-3-642-22359-4_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007353850
    202 https://doi.org/10.1007/978-3-642-22359-4_14
    203 rdf:type schema:CreativeWork
    204 sg:pub.10.1007/978-3-642-27660-6_35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1006674636
    205 https://doi.org/10.1007/978-3-642-27660-6_35
    206 rdf:type schema:CreativeWork
    207 sg:pub.10.1007/978-3-642-28756-5_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1016880363
    208 https://doi.org/10.1007/978-3-642-28756-5_22
    209 rdf:type schema:CreativeWork
    210 sg:pub.10.1007/bf01211866 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052049375
    211 https://doi.org/10.1007/bf01211866
    212 rdf:type schema:CreativeWork
    213 sg:pub.10.1007/bfb0028774 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008146998
    214 https://doi.org/10.1007/bfb0028774
    215 rdf:type schema:CreativeWork
    216 grid-institutes:grid.4991.5 schema:alternateName Department of Computer Science, University of Oxford, Oxford, UK
    217 schema:name Department of Computer Science, University of Oxford, Oxford, UK
    218 rdf:type schema:Organization
    219 grid-institutes:grid.6572.6 schema:alternateName School of Computer Science, University of Birmingham, Birmingham, UK
    220 schema:name School of Computer Science, University of Birmingham, Birmingham, UK
    221 rdf:type schema:Organization
     




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


    ...