{"id":"https://openalex.org/W4410042190","doi":"https://doi.org/10.1007/978-3-031-90653-4_16","title":"Fast value iteration: A uniform approach to efficient algorithms for energy games","display_name":"Fast value iteration: A uniform approach to efficient algorithms for energy games","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4410042190","doi":"https://doi.org/10.1007/978-3-031-90653-4_16"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-90653-4_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-90653-4_16","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-90653-4_16.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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-90653-4_16.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064763023","display_name":"Micha\u00ebl Cadilhac","orcid":"https://orcid.org/0000-0001-9828-9129"},"institutions":[{"id":"https://openalex.org/I118353179","display_name":"DePaul University","ror":"https://ror.org/04xtx5t16","country_code":"US","type":"education","lineage":["https://openalex.org/I118353179"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Micha\u00ebl Cadilhac","raw_affiliation_strings":["DePaul University, Chicago, IL, USA","DePaul University [Chicago] (1 E. Jackson Blvd. Chicago, IL 60604 - United States)"],"affiliations":[{"raw_affiliation_string":"DePaul University, Chicago, IL, USA","institution_ids":["https://openalex.org/I118353179"]},{"raw_affiliation_string":"DePaul University [Chicago] (1 E. Jackson Blvd. Chicago, IL 60604 - United States)","institution_ids":["https://openalex.org/I118353179"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027601687","display_name":"Antonio Casares","orcid":"https://orcid.org/0000-0002-6539-2020"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Antonio Casares","raw_affiliation_strings":["University of Warsaw, Warsaw, Poland","MIMUW - Faculty of Mathematics, Informatics, and Mechanics [Warsaw] (Banacha 2, 02-097 Warsaw - Poland)"],"affiliations":[{"raw_affiliation_string":"University of Warsaw, Warsaw, Poland","institution_ids":["https://openalex.org/I4654613"]},{"raw_affiliation_string":"MIMUW - Faculty of Mathematics, Informatics, and Mechanics [Warsaw] (Banacha 2, 02-097 Warsaw - Poland)","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034095493","display_name":"Pierre Ohlmann","orcid":"https://orcid.org/0000-0002-4685-5253"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]},{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Ohlmann","raw_affiliation_strings":["CNRS, Universit\u00e9 Aix-Marseille, LIS, Marseille, France","LIS - Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon) (Aix Marseille Universit\u00e9 \u2013 Campus de Saint J\u00e9r\u00f4me \u2013 Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)","CNRS - Centre National de la Recherche Scientifique (France)","MOVE - Mod\u00e9lisation et V\u00e9rification (Luminy - France)"],"affiliations":[{"raw_affiliation_string":"CNRS, Universit\u00e9 Aix-Marseille, LIS, Marseille, France","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I1294671590","https://openalex.org/I21491767"]},{"raw_affiliation_string":"LIS - Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon) (Aix Marseille Universit\u00e9 \u2013 Campus de Saint J\u00e9r\u00f4me \u2013 Bat. Polytech, 52 Av. Escadrille Normandie Niemen, 13397 Marseille Cedex 20 - France)","institution_ids":["https://openalex.org/I4210114274","https://openalex.org/I21491767"]},{"raw_affiliation_string":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]},{"raw_affiliation_string":"MOVE - Mod\u00e9lisation et V\u00e9rification (Luminy - France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5064763023"],"corresponding_institution_ids":["https://openalex.org/I118353179"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26764769,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"323","last_page":"342"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.993399977684021,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.993399977684021,"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"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9927999973297119,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9922999739646912,"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/computer-science","display_name":"Computer science","score":0.8109074234962463},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.6023777723312378},{"id":"https://openalex.org/keywords/energy","display_name":"Energy (signal processing)","score":0.5153729319572449},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.49927473068237305},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3317353129386902},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1324726641178131},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.06690621376037598}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8109074234962463},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.6023777723312378},{"id":"https://openalex.org/C186370098","wikidata":"https://www.wikidata.org/wiki/Q442787","display_name":"Energy (signal processing)","level":2,"score":0.5153729319572449},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.49927473068237305},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3317353129386902},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1324726641178131},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.06690621376037598},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-90653-4_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-90653-4_16","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-90653-4_16.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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-05376889v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05376889","pdf_url":"https://hal.science/hal-05376889/document","source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2025, Hamilton, Canada. pp.323-342, ⟨10.1007/978-3-031-90653-4_16⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-90653-4_16","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-90653-4_16","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-90653-4_16.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","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410042190.pdf","grobid_xml":"https://content.openalex.org/works/W4410042190.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W1495265525","https://openalex.org/W1569998753","https://openalex.org/W1597631609","https://openalex.org/W1766297874","https://openalex.org/W1887255787","https://openalex.org/W1971499713","https://openalex.org/W2008632553","https://openalex.org/W2034053794","https://openalex.org/W2065595179","https://openalex.org/W2155388558","https://openalex.org/W2170933628","https://openalex.org/W2285902464","https://openalex.org/W2317303422","https://openalex.org/W2406473398","https://openalex.org/W2519182244","https://openalex.org/W2586521831","https://openalex.org/W2783006893","https://openalex.org/W2796106051","https://openalex.org/W2883465722","https://openalex.org/W2935323414","https://openalex.org/W2972736415","https://openalex.org/W3093376673","https://openalex.org/W3099232266","https://openalex.org/W3102338937","https://openalex.org/W3103174681","https://openalex.org/W3126104235","https://openalex.org/W3206569936","https://openalex.org/W4312611483","https://openalex.org/W4391252080","https://openalex.org/W4391670609"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2051487156","https://openalex.org/W2073681303","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109"],"abstract_inverted_index":{"Abstract":[0],"We":[1,11,106],"study":[2],"algorithms":[3],"for":[4,22,98],"solving":[5],"parity,":[6],"mean-payoff":[7],"and":[8,25,43,54,69,118],"energy":[9],"games.":[10],"propose":[12],"a":[13],"systematic":[14],"framework,":[15],"which":[16,99],"we":[17,100],"call":[18],"Fast":[19],"value":[20,115],"iteration,":[21],"describing,":[23],"comparing,":[24],"proving":[26],"correctness":[27,55],"of":[28,57,90],"such":[29],"algorithms.":[30],"The":[31,81],"approach":[32,73,83],"is":[33],"based":[34],"on":[35,108],"potential":[36],"reductions,":[37],"as":[38],"introduced":[39],"by":[40,66,74],"Gurvich,":[41],"Karzanov":[42],"Khachiyan":[44],"(1988).":[45],"This":[46],"framework":[47],"allows":[48],"us":[49],"to":[50,86,103,125],"provide":[51],"simple":[52],"presentations":[53],"proofs":[56],"known":[58],"algorithms,":[59,92,117],"unifying":[60],"the":[61,70,112],"Optimal":[62],"strategy":[63],"improvement":[64],"algorithm":[65],"Schewe":[67],"(2008)":[68],"quasi":[71],"dominions":[72],"Benerecetti":[75],"et":[76],"al.":[77],"(2020),":[78],"amongst":[79],"others.":[80],"new":[82],"also":[84],"leads":[85],"novel":[87],"symmetric":[88],"versions":[89],"these":[91],"highly":[93],"efficient":[94],"in":[95],"practice,":[96],"but":[97],"are":[101,122],"unable":[102],"prove":[104],"termination.":[105],"report":[107],"empirical":[109],"evaluation,":[110],"comparing":[111],"different":[113],"fast":[114],"iteration":[116],"showing":[119],"that":[120],"they":[121],"competitive":[123],"even":[124],"top":[126],"parity":[127],"game":[128],"solvers.":[129]},"counts_by_year":[],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2025-10-10T00:00:00"}