{"id":"https://openalex.org/W779214059","doi":"https://doi.org/10.1007/978-3-319-20028-6_21","title":"Weighted Automata on Infinite Words in the Context of Attacker-Defender Games","display_name":"Weighted Automata on Infinite Words in the Context of Attacker-Defender Games","publication_year":2015,"publication_date":"2015-01-01","ids":{"openalex":"https://openalex.org/W779214059","doi":"https://doi.org/10.1007/978-3-319-20028-6_21","mag":"779214059"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-20028-6_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-20028-6_21","pdf_url":null,"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":null,"license_id":null,"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":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1411.4796","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033873634","display_name":"Vesa Halava","orcid":"https://orcid.org/0000-0003-3633-4902"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]},{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]}],"countries":["FI","GB"],"is_corresponding":false,"raw_author_name":"Vesa Halava","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Ashton Building, Liverpool, L69 3BX, UK","Department of Mathematics and Statistics, University of Turku, 20014, Turku, Finland","Department of Mathematics and Statistics, University of Turku, FIN-20014 Turku, Finland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Ashton Building, Liverpool, L69 3BX, UK","institution_ids":["https://openalex.org/I146655781"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Turku, 20014, Turku, Finland","institution_ids":["https://openalex.org/I155660961"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Turku, FIN-20014 Turku, Finland","institution_ids":["https://openalex.org/I155660961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054372678","display_name":"Tero Harju","orcid":"https://orcid.org/0000-0002-9640-6309"},"institutions":[{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Tero Harju","raw_affiliation_strings":["Department of Mathematics and Statistics, University of Turku, 20014, Turku, Finland","Department of Mathematics and Statistics, University of Turku, FIN-20014\u00a0, Turku, Finland,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Turku, 20014, Turku, Finland","institution_ids":["https://openalex.org/I155660961"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Turku, FIN-20014\u00a0, Turku, Finland,","institution_ids":["https://openalex.org/I155660961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015783637","display_name":"Reino Niskanen","orcid":"https://orcid.org/0000-0002-2210-1481"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Reino Niskanen","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Ashton Building, Liverpool, L69 3BX, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Ashton Building, Liverpool, L69 3BX, UK","institution_ids":["https://openalex.org/I146655781"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068817562","display_name":"Igor Potapov","orcid":"https://orcid.org/0000-0002-7192-7853"},"institutions":[{"id":"https://openalex.org/I146655781","display_name":"University of Liverpool","ror":"https://ror.org/04xs57h96","country_code":"GB","type":"education","lineage":["https://openalex.org/I146655781"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Igor Potapov","raw_affiliation_strings":["Department of Computer Science, University of Liverpool, Ashton Building, Liverpool, L69 3BX, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Liverpool, Ashton Building, Liverpool, L69 3BX, UK","institution_ids":["https://openalex.org/I146655781"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5015783637"],"corresponding_institution_ids":["https://openalex.org/I146655781"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00939784,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"255","issue":null,"first_page":"206","last_page":"215"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980999827384949,"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.9980999827384949,"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.9979000091552734,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9950000047683716,"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/reachability","display_name":"Reachability","score":0.873511791229248},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6587421298027039},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5910652875900269},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5633831024169922},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5131741166114807},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5045620203018188},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.4604618549346924},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.4287317991256714},{"id":"https://openalex.org/keywords/braid","display_name":"Braid","score":0.42192116379737854},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39566630125045776},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3640570640563965},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20423370599746704}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.873511791229248},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6587421298027039},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5910652875900269},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5633831024169922},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5131741166114807},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5045620203018188},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.4604618549346924},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.4287317991256714},{"id":"https://openalex.org/C124194741","wikidata":"https://www.wikidata.org/wiki/Q320809","display_name":"Braid","level":2,"score":0.42192116379737854},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39566630125045776},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3640570640563965},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20423370599746704},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-319-20028-6_21","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-20028-6_21","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"doi:10.1016/j.ic.2017.05.001","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.ic.2017.05.001","pdf_url":null,"source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Computation","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1411.4796","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1411.4796","pdf_url":"https://arxiv.org/pdf/1411.4796","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:779214059","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1411.4796","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.1411.4796","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1411.4796","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1411.4796","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1411.4796","pdf_url":"https://arxiv.org/pdf/1411.4796","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3839754616","display_name":"Reachability problems for words, matrices and maps: Algorithms and Complexity","funder_award_id":"EP/M00077X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5349794229","display_name":null,"funder_award_id":"EP/M00077X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320322426","display_name":"Nokia Foundation","ror":"https://ror.org/0401nzk46"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W1545078593","https://openalex.org/W1596041124","https://openalex.org/W1609583228","https://openalex.org/W1621803692","https://openalex.org/W1729675287","https://openalex.org/W1835836356","https://openalex.org/W1854577363","https://openalex.org/W1855477342","https://openalex.org/W1965611063","https://openalex.org/W1979118174","https://openalex.org/W1988808695","https://openalex.org/W1999099378","https://openalex.org/W2000123187","https://openalex.org/W2002328599","https://openalex.org/W2009370715","https://openalex.org/W2013166518","https://openalex.org/W2019875210","https://openalex.org/W2031674483","https://openalex.org/W2032480779","https://openalex.org/W2034774429","https://openalex.org/W2048905609","https://openalex.org/W2050829703","https://openalex.org/W2057779707","https://openalex.org/W2082433302","https://openalex.org/W2098677925","https://openalex.org/W2113789941","https://openalex.org/W2116976042","https://openalex.org/W2120685187","https://openalex.org/W2125797022","https://openalex.org/W2150954457","https://openalex.org/W2162583406","https://openalex.org/W2172004614","https://openalex.org/W2902139457","https://openalex.org/W3022006420","https://openalex.org/W3102183996","https://openalex.org/W4211105127","https://openalex.org/W4214820285","https://openalex.org/W4248784701","https://openalex.org/W6601891407","https://openalex.org/W6602888268","https://openalex.org/W6632647292","https://openalex.org/W6634365482","https://openalex.org/W6638413640","https://openalex.org/W6638527284","https://openalex.org/W6638611353","https://openalex.org/W6658585436","https://openalex.org/W6682338280","https://openalex.org/W6690227637","https://openalex.org/W6704400929","https://openalex.org/W6766001725","https://openalex.org/W6785359191","https://openalex.org/W6808492402"],"related_works":["https://openalex.org/W2902139457","https://openalex.org/W2897115502","https://openalex.org/W1481109946","https://openalex.org/W1969140772","https://openalex.org/W166796366","https://openalex.org/W15726297","https://openalex.org/W1596041124","https://openalex.org/W2074996640","https://openalex.org/W2060155289","https://openalex.org/W2069791914","https://openalex.org/W1890835473","https://openalex.org/W1567370363","https://openalex.org/W2035745665","https://openalex.org/W1582530007","https://openalex.org/W2164822567","https://openalex.org/W2101696653","https://openalex.org/W2090603514","https://openalex.org/W160807342","https://openalex.org/W113173227","https://openalex.org/W3106030898"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-08-08T01:25:22.217667","created_date":"2025-10-10T00:00:00"}