{"id":"https://openalex.org/W3209808760","doi":"https://doi.org/10.1007/978-3-030-99253-8_7","title":"Token Games and History-Deterministic Quantitative Automata","display_name":"Token Games and History-Deterministic Quantitative Automata","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W3209808760","doi":"https://doi.org/10.1007/978-3-030-99253-8_7","mag":"3209808760"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99253-8_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99253-8_7","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99253-8_7.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-030-99253-8_7.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000415323","display_name":"Udi Boker","orcid":"https://orcid.org/0000-0003-4322-8892"},"institutions":[{"id":"https://openalex.org/I4210093787","display_name":"Herzliya Medical Center","ror":"https://ror.org/00m6hsp80","country_code":"IL","type":"healthcare","lineage":["https://openalex.org/I4210093787"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Udi Boker","raw_affiliation_strings":["Reichman University, Herzliya, Israel"],"raw_orcid":"https://orcid.org/0000-0003-4322-8892","affiliations":[{"raw_affiliation_string":"Reichman University, Herzliya, Israel","institution_ids":["https://openalex.org/I4210093787"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039866284","display_name":"Karoliina Lehtinen","orcid":"https://orcid.org/0000-0003-1171-8790"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I143002897","display_name":"Universit\u00e9 de Toulon","ror":"https://ror.org/02m9kbe37","country_code":"FR","type":"education","lineage":["https://openalex.org/I143002897"]},{"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"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Karoliina Lehtinen","raw_affiliation_strings":["CNRS, Marseille-Aix Universit\u00e9, Universit\u00e9 de Toulon, LIS, Marseille, France"],"raw_orcid":"https://orcid.org/0000-0003-1171-8790","affiliations":[{"raw_affiliation_string":"CNRS, Marseille-Aix Universit\u00e9, Universit\u00e9 de Toulon, LIS, Marseille, France","institution_ids":["https://openalex.org/I143002897","https://openalex.org/I4210114274","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5039866284"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I4210114274"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":4.7009,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.94867875,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"120","last_page":"139"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9995999932289124,"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/T11567","display_name":"semigroups and automata theory","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6534465551376343},{"id":"https://openalex.org/keywords/security-token","display_name":"Security token","score":0.5644609928131104},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5575023293495178},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5318412780761719},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5185359120368958},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.47832751274108887},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.42531082034111023},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3607487678527832},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27981483936309814}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6534465551376343},{"id":"https://openalex.org/C48145219","wikidata":"https://www.wikidata.org/wiki/Q1335365","display_name":"Security token","level":2,"score":0.5644609928131104},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5575023293495178},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5318412780761719},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5185359120368958},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47832751274108887},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.42531082034111023},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3607487678527832},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27981483936309814},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-030-99253-8_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99253-8_7","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99253-8_7.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-03857930v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03857930","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"FoSSaCS, 2022, Munich, Germany. pp.120-139, &#x27E8;10.1007/978-3-030-99253-8_7&#x27E9;","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99253-8_7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99253-8_7","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99253-8_7.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/W3209808760.pdf","grobid_xml":"https://content.openalex.org/works/W3209808760.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W258058312","https://openalex.org/W1494274610","https://openalex.org/W1494664245","https://openalex.org/W1594196576","https://openalex.org/W2070937106","https://openalex.org/W2114901588","https://openalex.org/W2294334272","https://openalex.org/W2405152255","https://openalex.org/W2575731723","https://openalex.org/W2585435106","https://openalex.org/W2586521831","https://openalex.org/W2899216981","https://openalex.org/W2901103347","https://openalex.org/W2907581921","https://openalex.org/W2931271882","https://openalex.org/W2953022118","https://openalex.org/W2955957183","https://openalex.org/W2963656969","https://openalex.org/W2964263597","https://openalex.org/W2970774068","https://openalex.org/W2998995691","https://openalex.org/W3006504376","https://openalex.org/W3102720710","https://openalex.org/W3118078169","https://openalex.org/W3158447375","https://openalex.org/W3193561143","https://openalex.org/W3210996054","https://openalex.org/W3211092093","https://openalex.org/W4252327183"],"related_works":["https://openalex.org/W2060032524","https://openalex.org/W1988549452","https://openalex.org/W1529656707","https://openalex.org/W2053233145","https://openalex.org/W4232009464","https://openalex.org/W2928599599","https://openalex.org/W2004056131","https://openalex.org/W2170634995","https://openalex.org/W1513971594","https://openalex.org/W1595022566"],"abstract_inverted_index":{"Abstract":[0],"A":[1],"nondeterministic":[2,43],"automaton":[3,44],"is":[4,45,49,85],"history-deterministic":[5,29,46],"if":[6],"its":[7],"nondeterminism":[8],"can":[9],"be":[10,62],"resolved":[11],"by":[12],"only":[13,233],"considering":[14],"the":[15,18,76,104,171,229],"prefix":[16],"of":[17,78,153,173,241],"word":[19],"read":[20],"so":[21],"far.":[22],"Due":[23],"to":[24,75,103,111,170],"their":[25,109],"good":[26],"compositional":[27],"properties,":[28],"automata":[30,130,144,183,195,214,224,236],"are":[31,232],"useful":[32],"in":[33,187,201,215,225],"solving":[34],"games":[35,70,89,102,123,151],"and":[36,80,83,107,148,158,178,198,218],"synthesis":[37],"problems.":[38],"Deciding":[39],"whether":[40],"a":[41,51,72,238],"given":[42],"(the":[47],"problem)":[48],"generally":[50],"difficult":[52],"task,":[53],"which":[54],"might":[55],"involve":[56],"an":[57],"exponential":[58,226],"procedure,":[59],"or":[60],"even":[61],"undecidable,":[63],"for":[64,66,91,114,125,190,209,219,235],"example":[65],"pushdown":[67],"automata.":[68,98,116,163],"Token":[69],"provide":[71,168],"PTime":[73,188],"solution":[74],"problem":[77,172],"B\u00fcchi":[79],"coB\u00fcchi":[81],"automata,":[82],"it":[84],"conjectured":[86],"that":[87,121,149],"2-token":[88,150],"characterise":[90,124,152],"all":[92,126],"$$\\omega":[93],"$$":[94,204],"<mml:math":[95,141,156,161,176,181,193,205,212,222],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>\u03c9</mml:mi></mml:math>":[96],"-regular":[97],"We":[99],"extend":[100],"token":[101],"quantitative":[105,115,127],"setting":[106],"analyze":[108],"potential":[110],"help":[112],"deciding":[113],"In":[117],"particular,":[118],"we":[119,167],"show":[120],"1-token":[122],"(and":[128],"Boolean)":[129],"on":[131,145,184,196],"finite":[132,185,197],"words,":[133,147],"as":[134,136],"well":[135],"discounted-sum":[137],"(":[138],"$${\\mathsf":[139,154,159,174,179,191,210,220],"{DSum}}$$":[140,192],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>DSum</mml:mi></mml:math>":[142,194],")":[143],"infinite":[146,199],"{LimInf}}$$":[155,221],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>LimInf</mml:mi></mml:math>":[157,223],"{LimSup}}$$":[160,211],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>LimSup</mml:mi></mml:math>":[162,213],"Using":[164],"these":[165],"characterisations,":[166],"solutions":[169],"{Inf}}$$":[175],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>Inf</mml:mi></mml:math>":[177],"{Sup}}$$":[180],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mi>Sup</mml:mi></mml:math>":[182],"words":[186,200],",":[189,208],"NP":[202],"$$\\cap":[203],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"><mml:mo>\u2229</mml:mo></mml:math>":[206],"co-NP":[207],"quasipolynomial":[216],"time,":[217,227],"where":[228],"latter":[230],"two":[231],"polynomial":[234],"with":[237],"logarithmic":[239],"number":[240],"weights.":[242]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-02T09:51:11.867554","created_date":"2025-10-10T00:00:00"}