{"id":"https://openalex.org/W7154486395","doi":"https://doi.org/10.1007/978-3-032-22752-2_21","title":"Modular Attractor Acceleration in Infinite-State Games","display_name":"Modular Attractor Acceleration in Infinite-State Games","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7154486395","doi":"https://doi.org/10.1007/978-3-032-22752-2_21"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-032-22752-2_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-22752-2_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-22752-2_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-22752-2_21.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5048032095","display_name":"Philippe Heim","orcid":"https://orcid.org/0000-0002-5433-8133"},"institutions":[{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Philippe Heim","raw_affiliation_strings":["CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany"],"raw_orcid":"https://orcid.org/0000-0002-5433-8133","affiliations":[{"raw_affiliation_string":"CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210128801"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059922166","display_name":"Rayna Dimitrova","orcid":null},"institutions":[{"id":"https://openalex.org/I4210128801","display_name":"Helmholtz Center for Information Security","ror":"https://ror.org/02njgxr09","country_code":"DE","type":"facility","lineage":["https://openalex.org/I1305996414","https://openalex.org/I4210128801"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rayna Dimitrova","raw_affiliation_strings":["CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany"],"raw_orcid":"https://orcid.org/0009-0006-2494-8690","affiliations":[{"raw_affiliation_string":"CISPA Helmholtz Center for Information Security, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210128801"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5048032095"],"corresponding_institution_ids":["https://openalex.org/I4210128801"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":null,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"398","last_page":"418"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.14249999821186066,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11031","display_name":"Game Theory and Applications","score":0.14249999821186066,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12158","display_name":"Guidance and Control Systems","score":0.13050000369548798,"subfield":{"id":"https://openalex.org/subfields/2202","display_name":"Aerospace Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.07959999889135361,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6644999980926514},{"id":"https://openalex.org/keywords/acceleration","display_name":"Acceleration","score":0.6614000201225281},{"id":"https://openalex.org/keywords/attractor","display_name":"Attractor","score":0.6049000024795532},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.29829999804496765}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7494999766349792},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6644999980926514},{"id":"https://openalex.org/C117896860","wikidata":"https://www.wikidata.org/wiki/Q11376","display_name":"Acceleration","level":2,"score":0.6614000201225281},{"id":"https://openalex.org/C164380108","wikidata":"https://www.wikidata.org/wiki/Q507187","display_name":"Attractor","level":2,"score":0.6049000024795532},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38690000772476196},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.29829999804496765},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2854999899864197},{"id":"https://openalex.org/C145912823","wikidata":"https://www.wikidata.org/wiki/Q113558","display_name":"Dynamics (music)","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25699999928474426},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.24009999632835388}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-032-22752-2_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-22752-2_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-22752-2_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-032-22752-2_21","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-032-22752-2_21","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-032-22752-2_21.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"score":0.657732367515564,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7154486395.pdf","grobid_xml":"https://content.openalex.org/works/W7154486395.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W15179086","https://openalex.org/W1505135855","https://openalex.org/W1525126490","https://openalex.org/W1821880317","https://openalex.org/W1997268799","https://openalex.org/W2094997043","https://openalex.org/W2129766426","https://openalex.org/W2226549490","https://openalex.org/W2467005784","https://openalex.org/W2602098845","https://openalex.org/W2778034045","https://openalex.org/W2883453547","https://openalex.org/W2899568449","https://openalex.org/W2985800447","https://openalex.org/W3023362447","https://openalex.org/W3186449723","https://openalex.org/W3190087400","https://openalex.org/W4281723906","https://openalex.org/W4315630611","https://openalex.org/W4382239491","https://openalex.org/W4384471291","https://openalex.org/W4388483480","https://openalex.org/W4390605368","https://openalex.org/W4393147629","https://openalex.org/W4393954252","https://openalex.org/W4400973123","https://openalex.org/W4400995665","https://openalex.org/W4403223488","https://openalex.org/W4403774853","https://openalex.org/W4406222047","https://openalex.org/W4407390698","https://openalex.org/W4412544306","https://openalex.org/W4412544410","https://openalex.org/W4412544461","https://openalex.org/W7125201873"],"related_works":[],"abstract_inverted_index":{"Infinite-state":[0],"games":[1,17,116],"provide":[2],"a":[3,90],"framework":[4],"for":[5,61],"the":[6,62,70,111],"synthesis":[7],"of":[8,51,65,72,113],"reactive":[9,118],"systems":[10],"with":[11],"unbounded":[12],"data":[13],"domains.":[14],"Solving":[15],"such":[16],"typically":[18],"relies":[19],"on":[20,48],"computing":[21],"symbolic":[22,25],"fixpoints,":[23],"particularly":[24],"attractors.":[26],"However,":[27],"these":[28,108],"computations":[29],"may":[30],"not":[31],"terminate,":[32],"and":[33,84],"while":[34],"recent":[35],"acceleration":[36,49,66,74,96],"techniques":[37],"have":[38],"been":[39],"proposed":[40],"to":[41,100],"address":[42],"this":[43,55],"issue,":[44],"they":[45],"often":[46],"rely":[47],"arguments":[50,75],"limited":[52],"expressiveness.":[53],"In":[54,86],"work,":[56],"we":[57,88],"propose":[58],"an":[59],"approach":[60],"modular":[63],"computation":[64],"arguments.":[67],"It":[68],"enables":[69],"construction":[71],"complex":[73],"by":[76,122],"composing":[77],"simpler":[78],"ones,":[79],"thereby":[80],"improving":[81],"both":[82],"scalability":[83],"flexibility.":[85],"addition,":[87],"introduce":[89],"summarization":[91],"technique":[92],"that":[93],"generalizes":[94],"discovered":[95],"arguments,":[97],"allowing":[98],"them":[99],"be":[101],"efficiently":[102],"reused":[103],"across":[104],"multiple":[105],"contexts.":[106],"Together,":[107],"contributions":[109],"improve":[110],"efficiency":[112],"solving":[114],"infinite-state":[115],"in":[117],"synthesis,":[119],"as":[120],"demonstrated":[121],"our":[123],"experimental":[124],"evaluation.":[125]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-25T15:57:00.446498","created_date":"2026-04-16T00:00:00"}