{"id":"https://openalex.org/W6894115860","doi":"https://doi.org/10.5281/zenodo.7894774","title":"Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games","display_name":"Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games","publication_year":2023,"publication_date":"2023-05-05","ids":{"openalex":"https://openalex.org/W6894115860","doi":"https://doi.org/10.5281/zenodo.7894774"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:7894774","is_oa":true,"landing_page_url":"https://zenodo.org/record/7894774","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software"},"type":"software","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/7894774","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":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/nucleofection","display_name":"Nucleofection","score":0.35830000042915344},{"id":"https://openalex.org/keywords/tsg101","display_name":"TSG101","score":0.25589999556541443},{"id":"https://openalex.org/keywords/articular-cartilage-damage","display_name":"Articular cartilage damage","score":0.250900000333786},{"id":"https://openalex.org/keywords/demotion","display_name":"Demotion","score":0.24040000140666962},{"id":"https://openalex.org/keywords/fusible-alloy","display_name":"Fusible alloy","score":0.23389999568462372},{"id":"https://openalex.org/keywords/dysgeusia","display_name":"Dysgeusia","score":0.22030000388622284}],"concepts":[{"id":"https://openalex.org/C144251240","wikidata":"https://www.wikidata.org/wiki/Q7068229","display_name":"Nucleofection","level":4,"score":0.35830000042915344},{"id":"https://openalex.org/C2778283623","wikidata":"https://www.wikidata.org/wiki/Q18032200","display_name":"TSG101","level":5,"score":0.25589999556541443},{"id":"https://openalex.org/C2781032047","wikidata":"https://www.wikidata.org/wiki/Q938793","display_name":"Articular cartilage damage","level":5,"score":0.250900000333786},{"id":"https://openalex.org/C104545631","wikidata":"https://www.wikidata.org/wiki/Q464858","display_name":"Demotion","level":3,"score":0.24040000140666962},{"id":"https://openalex.org/C133074676","wikidata":"https://www.wikidata.org/wiki/Q428729","display_name":"Fusible alloy","level":2,"score":0.23389999568462372},{"id":"https://openalex.org/C2777054765","wikidata":"https://www.wikidata.org/wiki/Q6402731","display_name":"Dysgeusia","level":3,"score":0.22030000388622284},{"id":"https://openalex.org/C2779627259","wikidata":"https://www.wikidata.org/wiki/Q779763","display_name":"Pretext","level":3,"score":0.21899999678134918},{"id":"https://openalex.org/C2777158700","wikidata":"https://www.wikidata.org/wiki/Q1419356","display_name":"Hyporeflexia","level":3,"score":0.218299999833107},{"id":"https://openalex.org/C2777742743","wikidata":"https://www.wikidata.org/wiki/Q19904005","display_name":"Durvalumab","level":5,"score":0.2175000011920929},{"id":"https://openalex.org/C2992336715","wikidata":"https://www.wikidata.org/wiki/Q63431143","display_name":"Gestational period","level":4,"score":0.2143000066280365}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:7894774","is_oa":true,"landing_page_url":"https://zenodo.org/record/7894774","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software"},{"id":"doi:10.5281/zenodo.7894774","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.7894774","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":"pmh:oai:zenodo.org:7894774","is_oa":true,"landing_page_url":"https://zenodo.org/record/7894774","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"software"},"sustainable_development_goals":[],"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,73,84,103,112],"(self-)adapt":[8],"ever-changing":[10],"environmental":[11],"contexts.":[12],"Selecting":[13],"presumably":[14,89],"best-fitting":[15,90],"next":[16],"configurations":[17],"is,":[18],"however,":[19],"very":[20],"challenging,":[21],"depending":[22],"on":[23,118,158],"functional":[24],"and":[25,111,142,190],"non-functional":[26],"criteria":[27],"like":[28],"real-time":[29,61,146,155],"constraints":[30,147],"as":[31,33,70],"well":[32],"inherently":[34],"uncertain":[35,60],"future":[36],"contexts":[37],"which":[38,77],"makes<br>":[39],"greedy":[40],"one-step":[41],"decision":[42],"heuristics":[43],"ineffective.":[44],"In":[45,124],"our":[46,125,162],"SoSyM":[47],"paper,":[48],"we":[49],"propose":[50],"a":[51,107,127,131,143,150,160,165],"game-theoretic":[52],"setting":[53],"for":[54,88,106],"precomputing":[55],"reconfiguration":[56,71,91,193],"decisions":[57,92],"under":[58],"partially":[59],"behavior.":[62],"We":[63],"employ":[64],"stochastic":[65],"priced":[66],"timed":[67,167,172],"game":[68,168,173],"automata":[69],"model":[72,120,182,191],"derive":[74,104],"winning":[75],"strategies":[76,105,116],"enable":[78],"the":[79,94,114,119,136,171,181],"first":[80],"player":[81,96],"(the":[82,97],"system)":[83],"make":[85],"fast":[86],"look-ups":[87],"satisfying":[93],"second":[95],"context).":[98],"The":[99],"corresponding":[100,166],"artifact":[101],"facilitates":[102],"given":[108],"system":[109,152],"specification":[110,128,161],"analyze":[113],"resulting":[115],"based":[117],"checker":[121,183],"Uppaal":[122,184],"Stratego.":[123,185],"approach,":[126],"consists":[129],"of":[130,139,145,180],"<em>context":[132],"feature":[133],"model</em>":[134],"in":[135],"file":[137],"format":[138],"FeatureIDE":[140],"(XML)":[141],"set":[144],"(RRCL)":[148],"modeling":[149],"self-adaptive":[151],"with":[153],"additional":[154],"constraints.":[156],"Based":[157],"such":[159],"tool":[163],"constructs":[164],"automaton.":[169],"Afterwards,":[170],"automaton":[174],"can":[175],"be":[176],"analyzed":[177],"by":[178],"means":[179],"This":[186],"comprises":[187],"synthesizing,":[188],"optimizing":[189],"checking":[192],"strategies.":[194]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}