Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel – Panel Introduction View Full Text


Ontology type: schema:Chapter     


Chapter Info

DATE

2016

AUTHORS

Stefan Jähnichen , Martin Wirsing

ABSTRACT

This short paper gives an introduction to a panel held as part of the track on “Rigorous Engineering of Collective Adaptive Systems” at ISOLA 2016. The moderator Stefan Jähnichen (TU Berlin) and the panelists Saddek Bensalem (VERIMAG), Michele Loreti (University of Florence), Giovanna di Marzo Serugendo (University of Geneva), and Emil Vassev (LERO) discussed how to master the engineering of autonomous systems that have to cope with unforeseen events and situations. The discussion was structured along 14 questions ranging from the evolution and universality of autonomous systems to correctness, reliability, and legal issues. More... »

PAGES

639-641

References to SciGraph publications

  • 2016. Engineering Adaptivity, Universal Autonomous Systems Ethics and Compliance Issues in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2016. Safe Artificial Intelligence and Formal Methods in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • Book

    TITLE

    Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

    ISBN

    978-3-319-47165-5
    978-3-319-47166-2

    Identifiers

    URI

    http://scigraph.springernature.com/pub.10.1007/978-3-319-47166-2_44

    DOI

    http://dx.doi.org/10.1007/978-3-319-47166-2_44

    DIMENSIONS

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


    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": {
              "name": [
                "Technische Universit\u00e4t"
              ], 
              "type": "Organization"
            }, 
            "familyName": "J\u00e4hnichen", 
            "givenName": "Stefan", 
            "id": "sg:person.01060061215.31", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01060061215.31"
            ], 
            "type": "Person"
          }, 
          {
            "affiliation": {
              "alternateName": "Ludwig Maximilian University of Munich", 
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "name": [
                "Ludwig-Maximilians-Universit\u00e4t, M\u00fcnchen"
              ], 
              "type": "Organization"
            }, 
            "familyName": "Wirsing", 
            "givenName": "Martin", 
            "id": "sg:person.010602274463.18", 
            "sameAs": [
              "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010602274463.18"
            ], 
            "type": "Person"
          }
        ], 
        "citation": [
          {
            "id": "sg:pub.10.1007/978-3-319-47166-2_49", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1001795624", 
              "https://doi.org/10.1007/978-3-319-47166-2_49"
            ], 
            "type": "CreativeWork"
          }, 
          {
            "id": "sg:pub.10.1007/978-3-319-47166-2_50", 
            "sameAs": [
              "https://app.dimensions.ai/details/publication/pub.1002247441", 
              "https://doi.org/10.1007/978-3-319-47166-2_50"
            ], 
            "type": "CreativeWork"
          }
        ], 
        "datePublished": "2016", 
        "datePublishedReg": "2016-01-01", 
        "description": "This short paper gives an introduction to a panel held as part of the track on \u201cRigorous Engineering of Collective Adaptive Systems\u201d at ISOLA 2016. The moderator Stefan J\u00e4hnichen (TU Berlin) and the panelists Saddek Bensalem (VERIMAG), Michele Loreti (University of Florence), Giovanna di Marzo Serugendo (University of Geneva), and Emil Vassev (LERO) discussed how to master the engineering of autonomous systems that have to cope with unforeseen events and situations. The discussion was structured along 14 questions ranging from the evolution and universality of autonomous systems to correctness, reliability, and legal issues.", 
        "editor": [
          {
            "familyName": "Margaria", 
            "givenName": "Tiziana", 
            "type": "Person"
          }, 
          {
            "familyName": "Steffen", 
            "givenName": "Bernhard", 
            "type": "Person"
          }
        ], 
        "genre": "chapter", 
        "id": "sg:pub.10.1007/978-3-319-47166-2_44", 
        "inLanguage": [
          "en"
        ], 
        "isAccessibleForFree": false, 
        "isPartOf": {
          "isbn": [
            "978-3-319-47165-5", 
            "978-3-319-47166-2"
          ], 
          "name": "Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques", 
          "type": "Book"
        }, 
        "name": "Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel \u2013 Panel Introduction", 
        "pagination": "639-641", 
        "productId": [
          {
            "name": "doi", 
            "type": "PropertyValue", 
            "value": [
              "10.1007/978-3-319-47166-2_44"
            ]
          }, 
          {
            "name": "readcube_id", 
            "type": "PropertyValue", 
            "value": [
              "39e4154ffd422b0617fd4df0f53cce002c791ef6bf2b5a341ac64cbe9fe8bfff"
            ]
          }, 
          {
            "name": "dimensions_id", 
            "type": "PropertyValue", 
            "value": [
              "pub.1012151068"
            ]
          }
        ], 
        "publisher": {
          "location": "Cham", 
          "name": "Springer International Publishing", 
          "type": "Organisation"
        }, 
        "sameAs": [
          "https://doi.org/10.1007/978-3-319-47166-2_44", 
          "https://app.dimensions.ai/details/publication/pub.1012151068"
        ], 
        "sdDataset": "chapters", 
        "sdDatePublished": "2019-04-15T15:06", 
        "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_8672_00000020.jsonl", 
        "type": "Chapter", 
        "url": "http://link.springer.com/10.1007/978-3-319-47166-2_44"
      }
    ]
     

    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-47166-2_44'

    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-47166-2_44'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-3-319-47166-2_44'

    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-47166-2_44'


     

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

    87 TRIPLES      23 PREDICATES      29 URIs      20 LITERALS      8 BLANK NODES

    Subject Predicate Object
    1 sg:pub.10.1007/978-3-319-47166-2_44 schema:about anzsrc-for:08
    2 anzsrc-for:0801
    3 schema:author N0e25a5f66a3f421ba98f8adb83451b29
    4 schema:citation sg:pub.10.1007/978-3-319-47166-2_49
    5 sg:pub.10.1007/978-3-319-47166-2_50
    6 schema:datePublished 2016
    7 schema:datePublishedReg 2016-01-01
    8 schema:description This short paper gives an introduction to a panel held as part of the track on “Rigorous Engineering of Collective Adaptive Systems” at ISOLA 2016. The moderator Stefan Jähnichen (TU Berlin) and the panelists Saddek Bensalem (VERIMAG), Michele Loreti (University of Florence), Giovanna di Marzo Serugendo (University of Geneva), and Emil Vassev (LERO) discussed how to master the engineering of autonomous systems that have to cope with unforeseen events and situations. The discussion was structured along 14 questions ranging from the evolution and universality of autonomous systems to correctness, reliability, and legal issues.
    9 schema:editor Naf79f0eae58345d6a5d943a02ca47e0a
    10 schema:genre chapter
    11 schema:inLanguage en
    12 schema:isAccessibleForFree false
    13 schema:isPartOf Nff2d081e87964f40b2ee5e7d91fc313c
    14 schema:name Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel – Panel Introduction
    15 schema:pagination 639-641
    16 schema:productId N199500dd1e614aab96ef34fe5636745b
    17 N53211298672441c69b8aee42a80c9dba
    18 Nd05736a2100a44fd9f6fa35d4398427c
    19 schema:publisher N97466284b63b4355ba98cf02ff1a22df
    20 schema:sameAs https://app.dimensions.ai/details/publication/pub.1012151068
    21 https://doi.org/10.1007/978-3-319-47166-2_44
    22 schema:sdDatePublished 2019-04-15T15:06
    23 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    24 schema:sdPublisher N1d7e5e62037043fd8dca393fe3886103
    25 schema:url http://link.springer.com/10.1007/978-3-319-47166-2_44
    26 sgo:license sg:explorer/license/
    27 sgo:sdDataset chapters
    28 rdf:type schema:Chapter
    29 N0e25a5f66a3f421ba98f8adb83451b29 rdf:first sg:person.01060061215.31
    30 rdf:rest N820f8951d52343a896a9aec1597afc61
    31 N14b9cc41306446cfa0b01f769c81f0ce rdf:first Nadf15ec827424cd285173213ae36d0f3
    32 rdf:rest rdf:nil
    33 N199500dd1e614aab96ef34fe5636745b schema:name readcube_id
    34 schema:value 39e4154ffd422b0617fd4df0f53cce002c791ef6bf2b5a341ac64cbe9fe8bfff
    35 rdf:type schema:PropertyValue
    36 N1d7e5e62037043fd8dca393fe3886103 schema:name Springer Nature - SN SciGraph project
    37 rdf:type schema:Organization
    38 N3d3e57775c1d4363aa2546fce21c3a59 schema:name Technische Universität
    39 rdf:type schema:Organization
    40 N53211298672441c69b8aee42a80c9dba schema:name dimensions_id
    41 schema:value pub.1012151068
    42 rdf:type schema:PropertyValue
    43 N820f8951d52343a896a9aec1597afc61 rdf:first sg:person.010602274463.18
    44 rdf:rest rdf:nil
    45 N911f6a1f469f4c53b5019ac165b8db64 schema:familyName Margaria
    46 schema:givenName Tiziana
    47 rdf:type schema:Person
    48 N97466284b63b4355ba98cf02ff1a22df schema:location Cham
    49 schema:name Springer International Publishing
    50 rdf:type schema:Organisation
    51 Nadf15ec827424cd285173213ae36d0f3 schema:familyName Steffen
    52 schema:givenName Bernhard
    53 rdf:type schema:Person
    54 Naf79f0eae58345d6a5d943a02ca47e0a rdf:first N911f6a1f469f4c53b5019ac165b8db64
    55 rdf:rest N14b9cc41306446cfa0b01f769c81f0ce
    56 Nd05736a2100a44fd9f6fa35d4398427c schema:name doi
    57 schema:value 10.1007/978-3-319-47166-2_44
    58 rdf:type schema:PropertyValue
    59 Nff2d081e87964f40b2ee5e7d91fc313c schema:isbn 978-3-319-47165-5
    60 978-3-319-47166-2
    61 schema:name Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
    62 rdf:type schema:Book
    63 anzsrc-for:08 schema:inDefinedTermSet anzsrc-for:
    64 schema:name Information and Computing Sciences
    65 rdf:type schema:DefinedTerm
    66 anzsrc-for:0801 schema:inDefinedTermSet anzsrc-for:
    67 schema:name Artificial Intelligence and Image Processing
    68 rdf:type schema:DefinedTerm
    69 sg:person.01060061215.31 schema:affiliation N3d3e57775c1d4363aa2546fce21c3a59
    70 schema:familyName Jähnichen
    71 schema:givenName Stefan
    72 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.01060061215.31
    73 rdf:type schema:Person
    74 sg:person.010602274463.18 schema:affiliation https://www.grid.ac/institutes/grid.5252.0
    75 schema:familyName Wirsing
    76 schema:givenName Martin
    77 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010602274463.18
    78 rdf:type schema:Person
    79 sg:pub.10.1007/978-3-319-47166-2_49 schema:sameAs https://app.dimensions.ai/details/publication/pub.1001795624
    80 https://doi.org/10.1007/978-3-319-47166-2_49
    81 rdf:type schema:CreativeWork
    82 sg:pub.10.1007/978-3-319-47166-2_50 schema:sameAs https://app.dimensions.ai/details/publication/pub.1002247441
    83 https://doi.org/10.1007/978-3-319-47166-2_50
    84 rdf:type schema:CreativeWork
    85 https://www.grid.ac/institutes/grid.5252.0 schema:alternateName Ludwig Maximilian University of Munich
    86 schema:name Ludwig-Maximilians-Universität, München
    87 rdf:type schema:Organization
     




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


    ...