{"id":"https://openalex.org/W6931616950","doi":"https://doi.org/10.5281/zenodo.6956591","title":"Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata","display_name":"Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata","publication_year":2022,"publication_date":"2022-10-28","ids":{"openalex":"https://openalex.org/W6931616950","doi":"https://doi.org/10.5281/zenodo.6956591"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.6956591","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6956591","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.6956591","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Hendrik, G\u00f6ttmann","orcid":"https://orcid.org/0000-0002-2753-7719"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hendrik, G\u00f6ttmann","raw_affiliation_strings":["Technical University of Darmstadt"],"raw_orcid":"https://orcid.org/0000-0002-2753-7719","affiliations":[{"raw_affiliation_string":"Technical University of Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Birte, Caesar","orcid":"https://orcid.org/0000-0001-7772-7337"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Birte, Caesar","raw_affiliation_strings":["Helmut Schmidt University"],"raw_orcid":"https://orcid.org/0000-0001-7772-7337","affiliations":[{"raw_affiliation_string":"Helmut Schmidt University","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lasse, Beers","orcid":"https://orcid.org/0000-0003-0946-7742"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lasse, Beers","raw_affiliation_strings":["Helmut Schmidt University"],"raw_orcid":"https://orcid.org/0000-0003-0946-7742","affiliations":[{"raw_affiliation_string":"Helmut Schmidt University","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Malte, Lochau","orcid":"https://orcid.org/0000-0002-8404-753X"},"institutions":[{"id":"https://openalex.org/I206895457","display_name":"University of Siegen","ror":"https://ror.org/02azyry73","country_code":"DE","type":"education","lineage":["https://openalex.org/I206895457"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Malte, Lochau","raw_affiliation_strings":["University of Siegen"],"raw_orcid":"https://orcid.org/0000-0002-8404-753X","affiliations":[{"raw_affiliation_string":"University of Siegen","institution_ids":["https://openalex.org/I206895457"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Andy, Sch\u00fcrr","orcid":"https://orcid.org/0000-0001-8100-1109"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andy, Sch\u00fcrr","raw_affiliation_strings":["Technical University of Darmstadt"],"raw_orcid":"https://orcid.org/0000-0001-8100-1109","affiliations":[{"raw_affiliation_string":"Technical University of Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":null,"display_name":"Alexander, Fay","orcid":"https://orcid.org/0000-0002-1922-654X"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander, Fay","raw_affiliation_strings":["Helmut Schmidt University"],"raw_orcid":"https://orcid.org/0000-0002-1922-654X","affiliations":[{"raw_affiliation_string":"Helmut Schmidt University","institution_ids":["https://openalex.org/I190134885"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T11597","display_name":"Neutrophil, Myeloperoxidase and Oxidative Mechanisms","score":0.1437000036239624,"subfield":{"id":"https://openalex.org/subfields/2403","display_name":"Immunology"},"field":{"id":"https://openalex.org/fields/24","display_name":"Immunology and Microbiology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T11597","display_name":"Neutrophil, Myeloperoxidase and Oxidative Mechanisms","score":0.1437000036239624,"subfield":{"id":"https://openalex.org/subfields/2403","display_name":"Immunology"},"field":{"id":"https://openalex.org/fields/24","display_name":"Immunology and Microbiology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11668","display_name":"interferon and immune responses","score":0.1014999970793724,"subfield":{"id":"https://openalex.org/subfields/2403","display_name":"Immunology"},"field":{"id":"https://openalex.org/fields/24","display_name":"Immunology and Microbiology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10371","display_name":"Immune Response and Inflammation","score":0.08569999784231186,"subfield":{"id":"https://openalex.org/subfields/2403","display_name":"Immunology"},"field":{"id":"https://openalex.org/fields/24","display_name":"Immunology and Microbiology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nucleofection","display_name":"Nucleofection","score":0.36579999327659607},{"id":"https://openalex.org/keywords/articular-cartilage-damage","display_name":"Articular cartilage damage","score":0.29109999537467957},{"id":"https://openalex.org/keywords/tsg101","display_name":"TSG101","score":0.28299999237060547},{"id":"https://openalex.org/keywords/demotion","display_name":"Demotion","score":0.25780001282691956},{"id":"https://openalex.org/keywords/gestational-period","display_name":"Gestational period","score":0.2547000050544739},{"id":"https://openalex.org/keywords/proteogenomics","display_name":"Proteogenomics","score":0.23579999804496765}],"concepts":[{"id":"https://openalex.org/C144251240","wikidata":"https://www.wikidata.org/wiki/Q7068229","display_name":"Nucleofection","level":4,"score":0.36579999327659607},{"id":"https://openalex.org/C2781032047","wikidata":"https://www.wikidata.org/wiki/Q938793","display_name":"Articular cartilage damage","level":5,"score":0.29109999537467957},{"id":"https://openalex.org/C2778283623","wikidata":"https://www.wikidata.org/wiki/Q18032200","display_name":"TSG101","level":5,"score":0.28299999237060547},{"id":"https://openalex.org/C104545631","wikidata":"https://www.wikidata.org/wiki/Q464858","display_name":"Demotion","level":3,"score":0.25780001282691956},{"id":"https://openalex.org/C2992336715","wikidata":"https://www.wikidata.org/wiki/Q63431143","display_name":"Gestational period","level":4,"score":0.2547000050544739},{"id":"https://openalex.org/C145741570","wikidata":"https://www.wikidata.org/wiki/Q7251534","display_name":"Proteogenomics","level":5,"score":0.23579999804496765},{"id":"https://openalex.org/C2779627259","wikidata":"https://www.wikidata.org/wiki/Q779763","display_name":"Pretext","level":3,"score":0.2329999953508377},{"id":"https://openalex.org/C2777158700","wikidata":"https://www.wikidata.org/wiki/Q1419356","display_name":"Hyporeflexia","level":3,"score":0.23240000009536743},{"id":"https://openalex.org/C133074676","wikidata":"https://www.wikidata.org/wiki/Q428729","display_name":"Fusible alloy","level":2,"score":0.2303999960422516},{"id":"https://openalex.org/C2778128915","wikidata":"https://www.wikidata.org/wiki/Q3782613","display_name":"Contractualism","level":2,"score":0.22439999878406525}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5281/zenodo.6956591","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6956591","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Software"}],"best_oa_location":{"id":"doi:10.5281/zenodo.6956591","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.6956591","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Software"},"sustainable_development_goals":[{"score":0.4505941569805145,"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Many":[0],"modern":[1],"software":[2],"systems":[3],"continuously":[4],"reconfigure":[5],"themselves":[6],"to":[7,9,72,83,102,111],"(self-)adapt":[8],"ever-changing":[10],"environmental":[11],"contexts.":[12],"Selecting":[13],"presumably":[14,88],"best-fitting":[15,89],"next":[16],"configurations":[17],"is,":[18],"however,":[19],"very":[20],"challenging,":[21],"depending":[22],"on":[23,117,156],"functional":[24],"and":[25,110,141,188],"non-functional":[26],"criteria":[27],"like":[28],"real-time":[29,61,145,154],"constraints":[30,146],"as":[31,33,69],"well":[32],"inherently":[34],"uncertain":[35,60],"future":[36],"contexts":[37],"which":[38,76],"makes<br>":[39],"greedy":[40],"one-step":[41],"decision":[42],"heuristics":[43],"ineffective.":[44],"In":[45,123],"our":[46,124,160],"MODELS":[47],"paper,":[48],"we":[49],"propose":[50],"a":[51,106,126,130,142,149,158,163],"game-theoretic":[52],"setting":[53],"for":[54,87,105],"precomputing":[55],"reconfiguration":[56,70,90,191],"decisions":[57,91],"under":[58],"partially":[59],"behavior.":[62],"We":[63],"employ":[64],"stochastic":[65],"timed":[66,165,170],"game":[67,166,171],"automata":[68],"model":[71,119,180,189],"derive":[73,103],"winning":[74],"strategies":[75,104,115],"enable":[77],"the":[78,93,113,118,135,169,179],"first":[79],"player":[80,95],"(the":[81,96],"system)":[82],"make":[84],"fast":[85],"look-ups":[86],"satisfying":[92],"second":[94],"context).":[97],"The":[98],"corresponding":[99,164],"artifact":[100],"facilitates":[101],"given":[107],"system":[108,151],"specification":[109,127,159],"analyze":[112],"resulting":[114],"based":[116],"checker":[120,181],"Uppaal":[121,182],"Stratego.":[122,183],"approach,":[125],"consists":[128],"of":[129,138,144,178],"<em>context":[131],"feature":[132],"model</em>":[133],"in":[134],"file":[136],"format":[137],"FeatureIDE":[139],"(XML)":[140],"set":[143],"(RRCL)":[147],"modeling":[148],"self-adaptive":[150],"with":[152],"additional":[153],"constraints.Based":[155],"such":[157],"tool":[161],"constructs":[162],"automaton.":[167],"Afterwards,":[168],"automaton":[172],"can":[173],"be":[174],"analyzed":[175],"by":[176],"means":[177],"This":[184],"comprises":[185],"both":[186],"synthesizing":[187],"checking":[190],"strategies.":[192]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}