PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives View Full Text


Ontology type: schema:ScholarlyArticle      Open Access: True


Article Info

DATE

2017-11-29

AUTHORS

Marta Kwiatkowska, David Parker, Clemens Wiltsche

ABSTRACT

PRISM-games is a tool for modelling, verification and strategy synthesis for stochastic multi-player games. These allow models to incorporate both probability, to represent uncertainty, unreliability or randomisation, and game-theoretic aspects, for systems where different entities have opposing objectives. Applications include autonomous transport, security protocols, energy management systems and many more. We provide a detailed overview of the PRISM-games tool, including its modelling and property specification formalisms, and its underlying architecture and implementation. In particular, we discuss some of its key features, which include multi-objective and compositional approaches to verification and strategy synthesis. We also discuss the scalability and efficiency of the tool and give an overview of some of the case studies to which it has been applied. More... »

PAGES

195-210

References to SciGraph publications

  • 2014. The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2016-04-09. PRISM-Games 2.0: A Tool for Multi-objective Strategy Synthesis for Stochastic Games in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2017-07-13. A Storm is Coming: A Modern Probabilistic Model Checker in COMPUTER AIDED VERIFICATION
  • 2000-06. The Cayley Trick, lifting subdivisions and the Bohne-Dress theorem on zonotopal tilings in JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY
  • 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
  • 2013. PRISM-games: A Model Checker for Stochastic Multi-Player Games in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2014. Compositional Controller Synthesis for Stochastic Games in CONCUR 2014 – CONCURRENCY THEORY
  • 2015. Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2011. GAVS+: An Open Platform for the Research of Algorithmic Game Solving in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2013-02-16. Automatic verification of competitive stochastic systems in FORMAL METHODS IN SYSTEM DESIGN
  • 2009. PAT: Towards Flexible Verification under Fairness in COMPUTER AIDED VERIFICATION
  • 2010. Gist: A Solver for Probabilistic Games in COMPUTER AIDED VERIFICATION
  • 2011. Verifying Team Formation Protocols with Probabilistic Model Checking in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS
  • 2015-12-25. A Tool for the Automated Verification of Nash Equilibria in Concurrent Games in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015
  • 2013. PRALINE: A Tool for Computing Nash Equilibria in Concurrent Games in COMPUTER AIDED VERIFICATION
  • 2013. On Stochastic Games with Multiple Objectives in MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2013
  • 2015. MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2015. Uppaal Stratego in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2013. Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving in QUANTITATIVE EVALUATION OF SYSTEMS
  • 2011. PRISM 4.0: Verification of Probabilistic Real-Time Systems in COMPUTER AIDED VERIFICATION
  • 2014. iscasMc: A Web-Based Probabilistic Model Checker in FM 2014: FORMAL METHODS
  • Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/s10009-017-0476-z

    DOI

    http://dx.doi.org/10.1007/s10009-017-0476-z

    DIMENSIONS

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

    PUBMED

    https://www.ncbi.nlm.nih.gov/pubmed/31258390


    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/0803", 
            "inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/", 
            "name": "Computer Software", 
            "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": "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": "Wiltsche", 
            "givenName": "Clemens", 
            "id": "sg:person.013041737446.42", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013041737446.42"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-662-46681-0_16", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032117950", 
              "https://doi.org/10.1007/978-3-662-46681-0_16"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-02658-4_59", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001143080", 
              "https://doi.org/10.1007/978-3-642-02658-4_59"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-36742-7_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1049385205", 
              "https://doi.org/10.1007/978-3-642-36742-7_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-40196-1_28", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1051989987", 
              "https://doi.org/10.1007/978-3-642-40196-1_28"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-54862-8_51", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001006989", 
              "https://doi.org/10.1007/978-3-642-54862-8_51"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-25150-9_34", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1039434204", 
              "https://doi.org/10.1007/978-3-319-25150-9_34"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-06410-9_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033809173", 
              "https://doi.org/10.1007/978-3-319-06410-9_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/978-3-662-44584-6_13", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1011418323", 
              "https://doi.org/10.1007/978-3-662-44584-6_13"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s100970050003", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1054521356", 
              "https://doi.org/10.1007/s100970050003"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-662-49674-9_35", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1033723366", 
              "https://doi.org/10.1007/978-3-662-49674-9_35"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-39799-8_63", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1038023256", 
              "https://doi.org/10.1007/978-3-642-39799-8_63"
            ], 
            "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-662-46681-0_12", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1031030549", 
              "https://doi.org/10.1007/978-3-662-46681-0_12"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/s10703-013-0183-7", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1025808699", 
              "https://doi.org/10.1007/s10703-013-0183-7"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-642-40313-2_25", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1050804192", 
              "https://doi.org/10.1007/978-3-642-40313-2_25"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-63390-9_31", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1090654315", 
              "https://doi.org/10.1007/978-3-319-63390-9_31"
            ], 
            "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-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-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-642-19835-9_22", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1032288476", 
              "https://doi.org/10.1007/978-3-642-19835-9_22"
            ], 
            "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"
          }
        ], 
        "datePublished": "2017-11-29", 
        "datePublishedReg": "2017-11-29", 
        "description": "PRISM-games is a tool for modelling, verification and strategy synthesis for stochastic multi-player games. These allow models to incorporate both probability, to represent uncertainty, unreliability or randomisation, and game-theoretic aspects, for systems where different entities have opposing objectives. Applications include autonomous transport, security protocols, energy management systems and many more. We provide a detailed overview of the PRISM-games tool, including its modelling and property specification formalisms, and its underlying architecture and implementation. In particular, we discuss some of its key features, which include multi-objective and compositional approaches to verification and strategy synthesis. We also discuss the scalability and efficiency of the tool and give an overview of some of the case studies to which it has been applied.", 
        "genre": "article", 
        "id": "sg:pub.10.1007/s10009-017-0476-z", 
        "inLanguage": "en", 
        "isAccessibleForFree": true, 
        "isFundedItemOf": [
          {
            "id": "sg:grant.6711417", 
            "type": "MonetaryGrant"
          }, 
          {
            "id": "sg:grant.3959000", 
            "type": "MonetaryGrant"
          }
        ], 
        "isPartOf": [
          {
            "id": "sg:journal.1052641", 
            "issn": [
              "1433-2779", 
              "1433-2787 "
            ], 
            "name": "International Journal on Software Tools for Technology Transfer", 
            "publisher": "Springer Nature", 
            "type": "Periodical"
          }, 
          {
            "issueNumber": "2", 
            "type": "PublicationIssue"
          }, 
          {
            "type": "PublicationVolume", 
            "volumeNumber": "20"
          }
        ], 
        "keywords": [
          "stochastic multi-player games", 
          "multi-player games", 
          "strategy synthesis", 
          "PRISM-games", 
          "game-theoretic aspects", 
          "security protocols", 
          "energy management system", 
          "specification formalism", 
          "underlying architecture", 
          "compositional approach", 
          "management system", 
          "multiple objectives", 
          "verification", 
          "autonomous transport", 
          "different entities", 
          "key features", 
          "game", 
          "scalability", 
          "tool", 
          "architecture", 
          "case study", 
          "detailed overview", 
          "implementation", 
          "system", 
          "modelling", 
          "unreliability", 
          "protocol", 
          "applications", 
          "overview", 
          "entities", 
          "features", 
          "efficiency", 
          "formalism", 
          "objective", 
          "uncertainty", 
          "model", 
          "probability", 
          "aspects", 
          "approach", 
          "study", 
          "synthesis", 
          "transport", 
          "randomisation", 
          "PRISM-games tool", 
          "property specification formalisms"
        ], 
        "name": "PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives", 
        "pagination": "195-210", 
        "productId": [
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1093058501"
            ]
          }, 
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/s10009-017-0476-z"
            ]
          }, 
          {
            "name": "pubmed_id", 
            "type": "PropertyValue", 
            "value": [
              "31258390"
            ]
          }
        ], 
        "sameAs": [
          "https://doi.org/10.1007/s10009-017-0476-z", 
          "https://app.dimensions.ai/details/publication/pub.1093058501"
        ], 
        "sdDataset": "articles", 
        "sdDatePublished": "2021-11-01T18:29", 
        "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_719.jsonl", 
        "type": "ScholarlyArticle", 
        "url": "https://doi.org/10.1007/s10009-017-0476-z"
      }
    ]
     

    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/s10009-017-0476-z'

    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/s10009-017-0476-z'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/s10009-017-0476-z'

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

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/s10009-017-0476-z'


     

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

    216 TRIPLES      22 PREDICATES      93 URIs      63 LITERALS      7 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/s10009-017-0476-z schema:about anzsrc-for:08
    2 anzsrc-for:0803
    3 schema:author N32186f88e55c4d9d8473af6d06381675
    4 schema:citation sg:pub.10.1007/978-3-319-06410-9_22
    5 sg:pub.10.1007/978-3-319-25150-9_34
    6 sg:pub.10.1007/978-3-319-63390-9_31
    7 sg:pub.10.1007/978-3-642-02658-4_59
    8 sg:pub.10.1007/978-3-642-14295-6_57
    9 sg:pub.10.1007/978-3-642-19835-9_22
    10 sg:pub.10.1007/978-3-642-21455-4_3
    11 sg:pub.10.1007/978-3-642-22110-1_47
    12 sg:pub.10.1007/978-3-642-22359-4_14
    13 sg:pub.10.1007/978-3-642-36742-7_13
    14 sg:pub.10.1007/978-3-642-39799-8_63
    15 sg:pub.10.1007/978-3-642-40196-1_28
    16 sg:pub.10.1007/978-3-642-40313-2_25
    17 sg:pub.10.1007/978-3-642-54862-8_51
    18 sg:pub.10.1007/978-3-662-44584-6_13
    19 sg:pub.10.1007/978-3-662-46681-0_12
    20 sg:pub.10.1007/978-3-662-46681-0_16
    21 sg:pub.10.1007/978-3-662-46681-0_22
    22 sg:pub.10.1007/978-3-662-49674-9_35
    23 sg:pub.10.1007/bf01211866
    24 sg:pub.10.1007/s100970050003
    25 sg:pub.10.1007/s10703-013-0183-7
    26 schema:datePublished 2017-11-29
    27 schema:datePublishedReg 2017-11-29
    28 schema:description PRISM-games is a tool for modelling, verification and strategy synthesis for stochastic multi-player games. These allow models to incorporate both probability, to represent uncertainty, unreliability or randomisation, and game-theoretic aspects, for systems where different entities have opposing objectives. Applications include autonomous transport, security protocols, energy management systems and many more. We provide a detailed overview of the PRISM-games tool, including its modelling and property specification formalisms, and its underlying architecture and implementation. In particular, we discuss some of its key features, which include multi-objective and compositional approaches to verification and strategy synthesis. We also discuss the scalability and efficiency of the tool and give an overview of some of the case studies to which it has been applied.
    29 schema:genre article
    30 schema:inLanguage en
    31 schema:isAccessibleForFree true
    32 schema:isPartOf N0f54eab65edd440cb1732ef18addebcb
    33 N1740d7e223a343968089d1aa548525ff
    34 sg:journal.1052641
    35 schema:keywords PRISM-games
    36 PRISM-games tool
    37 applications
    38 approach
    39 architecture
    40 aspects
    41 autonomous transport
    42 case study
    43 compositional approach
    44 detailed overview
    45 different entities
    46 efficiency
    47 energy management system
    48 entities
    49 features
    50 formalism
    51 game
    52 game-theoretic aspects
    53 implementation
    54 key features
    55 management system
    56 model
    57 modelling
    58 multi-player games
    59 multiple objectives
    60 objective
    61 overview
    62 probability
    63 property specification formalisms
    64 protocol
    65 randomisation
    66 scalability
    67 security protocols
    68 specification formalism
    69 stochastic multi-player games
    70 strategy synthesis
    71 study
    72 synthesis
    73 system
    74 tool
    75 transport
    76 uncertainty
    77 underlying architecture
    78 unreliability
    79 verification
    80 schema:name PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives
    81 schema:pagination 195-210
    82 schema:productId N03e672f45391494c87d018619080cb68
    83 N677ea84414374db6bc15f930db4cf9a9
    84 Nf1541f0c893245c29990be5564657289
    85 schema:sameAs https://app.dimensions.ai/details/publication/pub.1093058501
    86 https://doi.org/10.1007/s10009-017-0476-z
    87 schema:sdDatePublished 2021-11-01T18:29
    88 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    89 schema:sdPublisher Nf4cb8c182498409fbbd2a22e9150e14d
    90 schema:url https://doi.org/10.1007/s10009-017-0476-z
    91 sgo:license sg:explorer/license/
    92 sgo:sdDataset articles
    93 rdf:type schema:ScholarlyArticle
    94 N03e672f45391494c87d018619080cb68 schema:name doi
    95 schema:value 10.1007/s10009-017-0476-z
    96 rdf:type schema:PropertyValue
    97 N0f54eab65edd440cb1732ef18addebcb schema:volumeNumber 20
    98 rdf:type schema:PublicationVolume
    99 N11d374f1a58c467c98194f4f6039aa2a rdf:first sg:person.013041737446.42
    100 rdf:rest rdf:nil
    101 N1740d7e223a343968089d1aa548525ff schema:issueNumber 2
    102 rdf:type schema:PublicationIssue
    103 N21fba177ef3b42f6aefc517b182ae5b0 rdf:first sg:person.014007552600.37
    104 rdf:rest N11d374f1a58c467c98194f4f6039aa2a
    105 N32186f88e55c4d9d8473af6d06381675 rdf:first sg:person.011375012273.39
    106 rdf:rest N21fba177ef3b42f6aefc517b182ae5b0
    107 N677ea84414374db6bc15f930db4cf9a9 schema:name dimensions_id
    108 schema:value pub.1093058501
    109 rdf:type schema:PropertyValue
    110 Nf1541f0c893245c29990be5564657289 schema:name pubmed_id
    111 schema:value 31258390
    112 rdf:type schema:PropertyValue
    113 Nf4cb8c182498409fbbd2a22e9150e14d schema:name Springer Nature - SN SciGraph project
    114 rdf:type schema:Organization
    115 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    116 schema:name Information and Computing Sciences
    117 rdf:type schema:DefinedTerm
    118 anzsrc-for:0803 schema:inDefinedTermSet anzsrc-for:
    119 schema:name Computer Software
    120 rdf:type schema:DefinedTerm
    121 sg:grant.3959000 http://pending.schema.org/fundedItem sg:pub.10.1007/s10009-017-0476-z
    122 rdf:type schema:MonetaryGrant
    123 sg:grant.6711417 http://pending.schema.org/fundedItem sg:pub.10.1007/s10009-017-0476-z
    124 rdf:type schema:MonetaryGrant
    125 sg:journal.1052641 schema:issn 1433-2779
    126 1433-2787
    127 schema:name International Journal on Software Tools for Technology Transfer
    128 schema:publisher Springer Nature
    129 rdf:type schema:Periodical
    130 sg:person.011375012273.39 schema:affiliation grid-institutes:grid.4991.5
    131 schema:familyName Kwiatkowska
    132 schema:givenName Marta
    133 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.011375012273.39
    134 rdf:type schema:Person
    135 sg:person.013041737446.42 schema:affiliation grid-institutes:grid.4991.5
    136 schema:familyName Wiltsche
    137 schema:givenName Clemens
    138 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.013041737446.42
    139 rdf:type schema:Person
    140 sg:person.014007552600.37 schema:affiliation grid-institutes:grid.6572.6
    141 schema:familyName Parker
    142 schema:givenName David
    143 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014007552600.37
    144 rdf:type schema:Person
    145 sg:pub.10.1007/978-3-319-06410-9_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033809173
    146 https://doi.org/10.1007/978-3-319-06410-9_22
    147 rdf:type schema:CreativeWork
    148 sg:pub.10.1007/978-3-319-25150-9_34 schema:sameAs https://app.dimensions.ai/details/publication/pub.1039434204
    149 https://doi.org/10.1007/978-3-319-25150-9_34
    150 rdf:type schema:CreativeWork
    151 sg:pub.10.1007/978-3-319-63390-9_31 schema:sameAs https://app.dimensions.ai/details/publication/pub.1090654315
    152 https://doi.org/10.1007/978-3-319-63390-9_31
    153 rdf:type schema:CreativeWork
    154 sg:pub.10.1007/978-3-642-02658-4_59 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001143080
    155 https://doi.org/10.1007/978-3-642-02658-4_59
    156 rdf:type schema:CreativeWork
    157 sg:pub.10.1007/978-3-642-14295-6_57 schema:sameAs https://app.dimensions.ai/details/publication/pub.1008976142
    158 https://doi.org/10.1007/978-3-642-14295-6_57
    159 rdf:type schema:CreativeWork
    160 sg:pub.10.1007/978-3-642-19835-9_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032288476
    161 https://doi.org/10.1007/978-3-642-19835-9_22
    162 rdf:type schema:CreativeWork
    163 sg:pub.10.1007/978-3-642-21455-4_3 schema:sameAs https://app.dimensions.ai/details/publication/pub.1043781609
    164 https://doi.org/10.1007/978-3-642-21455-4_3
    165 rdf:type schema:CreativeWork
    166 sg:pub.10.1007/978-3-642-22110-1_47 schema:sameAs https://app.dimensions.ai/details/publication/pub.1027900693
    167 https://doi.org/10.1007/978-3-642-22110-1_47
    168 rdf:type schema:CreativeWork
    169 sg:pub.10.1007/978-3-642-22359-4_14 schema:sameAs https://app.dimensions.ai/details/publication/pub.1007353850
    170 https://doi.org/10.1007/978-3-642-22359-4_14
    171 rdf:type schema:CreativeWork
    172 sg:pub.10.1007/978-3-642-36742-7_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1049385205
    173 https://doi.org/10.1007/978-3-642-36742-7_13
    174 rdf:type schema:CreativeWork
    175 sg:pub.10.1007/978-3-642-39799-8_63 schema:sameAs https://app.dimensions.ai/details/publication/pub.1038023256
    176 https://doi.org/10.1007/978-3-642-39799-8_63
    177 rdf:type schema:CreativeWork
    178 sg:pub.10.1007/978-3-642-40196-1_28 schema:sameAs https://app.dimensions.ai/details/publication/pub.1051989987
    179 https://doi.org/10.1007/978-3-642-40196-1_28
    180 rdf:type schema:CreativeWork
    181 sg:pub.10.1007/978-3-642-40313-2_25 schema:sameAs https://app.dimensions.ai/details/publication/pub.1050804192
    182 https://doi.org/10.1007/978-3-642-40313-2_25
    183 rdf:type schema:CreativeWork
    184 sg:pub.10.1007/978-3-642-54862-8_51 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001006989
    185 https://doi.org/10.1007/978-3-642-54862-8_51
    186 rdf:type schema:CreativeWork
    187 sg:pub.10.1007/978-3-662-44584-6_13 schema:sameAs https://app.dimensions.ai/details/publication/pub.1011418323
    188 https://doi.org/10.1007/978-3-662-44584-6_13
    189 rdf:type schema:CreativeWork
    190 sg:pub.10.1007/978-3-662-46681-0_12 schema:sameAs https://app.dimensions.ai/details/publication/pub.1031030549
    191 https://doi.org/10.1007/978-3-662-46681-0_12
    192 rdf:type schema:CreativeWork
    193 sg:pub.10.1007/978-3-662-46681-0_16 schema:sameAs https://app.dimensions.ai/details/publication/pub.1032117950
    194 https://doi.org/10.1007/978-3-662-46681-0_16
    195 rdf:type schema:CreativeWork
    196 sg:pub.10.1007/978-3-662-46681-0_22 schema:sameAs https://app.dimensions.ai/details/publication/pub.1017762388
    197 https://doi.org/10.1007/978-3-662-46681-0_22
    198 rdf:type schema:CreativeWork
    199 sg:pub.10.1007/978-3-662-49674-9_35 schema:sameAs https://app.dimensions.ai/details/publication/pub.1033723366
    200 https://doi.org/10.1007/978-3-662-49674-9_35
    201 rdf:type schema:CreativeWork
    202 sg:pub.10.1007/bf01211866 schema:sameAs https://app.dimensions.ai/details/publication/pub.1052049375
    203 https://doi.org/10.1007/bf01211866
    204 rdf:type schema:CreativeWork
    205 sg:pub.10.1007/s100970050003 schema:sameAs https://app.dimensions.ai/details/publication/pub.1054521356
    206 https://doi.org/10.1007/s100970050003
    207 rdf:type schema:CreativeWork
    208 sg:pub.10.1007/s10703-013-0183-7 schema:sameAs https://app.dimensions.ai/details/publication/pub.1025808699
    209 https://doi.org/10.1007/s10703-013-0183-7
    210 rdf:type schema:CreativeWork
    211 grid-institutes:grid.4991.5 schema:alternateName Department of Computer Science, University of Oxford, Oxford, UK
    212 schema:name Department of Computer Science, University of Oxford, Oxford, UK
    213 rdf:type schema:Organization
    214 grid-institutes:grid.6572.6 schema:alternateName School of Computer Science, University of Birmingham, Birmingham, UK
    215 schema:name School of Computer Science, University of Birmingham, Birmingham, UK
    216 rdf:type schema:Organization
     




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


    ...