{"id":"https://openalex.org/W2791331437","doi":"https://doi.org/10.3233/fi-2018-1662","title":"Additional Winning Strategies in Reachability Games*\u2020","display_name":"Additional Winning Strategies in Reachability Games*\u2020","publication_year":2018,"publication_date":"2018-03-07","ids":{"openalex":"https://openalex.org/W2791331437","doi":"https://doi.org/10.3233/fi-2018-1662","mag":"2791331437"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2018-1662","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2018-1662","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.openaccessrepository.it/record/142065","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026864209","display_name":"Vadim Malvone","orcid":"https://orcid.org/0000-0001-6138-4229"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Vadim Malvone","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli Federico II, Department DIETI, Via Claudio, n.21, 80125, Napoli, Italy. vadim.malvone@unina.it, murano@na.infn.it, loredana.sorrentino@unina.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II, Department DIETI, Via Claudio, n.21, 80125, Napoli, Italy. vadim.malvone@unina.it, murano@na.infn.it, loredana.sorrentino@unina.it","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055415505","display_name":"Aniello Murano","orcid":"https://orcid.org/0000-0003-4876-3448"},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Aniello Murano","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli Federico II, Department DIETI, Via Claudio, n.21, 80125, Napoli, Italy. vadim.malvone@unina.it, murano@na.infn.it, loredana.sorrentino@unina.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II, Department DIETI, Via Claudio, n.21, 80125, Napoli, Italy. vadim.malvone@unina.it, murano@na.infn.it, loredana.sorrentino@unina.it","institution_ids":["https://openalex.org/I71267560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5108700439","display_name":"Loredana Sorrentino","orcid":null},"institutions":[{"id":"https://openalex.org/I71267560","display_name":"University of Naples Federico II","ror":"https://ror.org/05290cv24","country_code":"IT","type":"education","lineage":["https://openalex.org/I71267560"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Loredana Sorrentino","raw_affiliation_strings":["Universit\u00e0 degli Studi di Napoli Federico II, Department DIETI, Via Claudio, n.21, 80125, Napoli, Italy. vadim.malvone@unina.it, murano@na.infn.it, loredana.sorrentino@unina.it"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Napoli Federico II, Department DIETI, Via Claudio, n.21, 80125, Napoli, Italy. vadim.malvone@unina.it, murano@na.infn.it, loredana.sorrentino@unina.it","institution_ids":["https://openalex.org/I71267560"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I71267560"],"apc_list":{"value":4150,"currency":"USD","value_usd":4150},"apc_paid":null,"fwci":0.9807,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.77562339,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":"159","issue":"1-2","first_page":"175","last_page":"195"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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.9962999820709229,"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.8680852651596069},{"id":"https://openalex.org/keywords/perfect-information","display_name":"Perfect information","score":0.7451162934303284},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6219632029533386},{"id":"https://openalex.org/keywords/backup","display_name":"Backup","score":0.5969995260238647},{"id":"https://openalex.org/keywords/strategy","display_name":"Strategy","score":0.5876482725143433},{"id":"https://openalex.org/keywords/bayesian-game","display_name":"Bayesian game","score":0.5559240579605103},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.5106862187385559},{"id":"https://openalex.org/keywords/nash-equilibrium","display_name":"Nash equilibrium","score":0.5084961652755737},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.4963398575782776},{"id":"https://openalex.org/keywords/sequential-game","display_name":"Sequential game","score":0.4924510419368744},{"id":"https://openalex.org/keywords/complete-information","display_name":"Complete information","score":0.4819085896015167},{"id":"https://openalex.org/keywords/repeated-game","display_name":"Repeated game","score":0.4782596826553345},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.46780991554260254},{"id":"https://openalex.org/keywords/screening-game","display_name":"Screening game","score":0.4490181803703308},{"id":"https://openalex.org/keywords/imperfect","display_name":"Imperfect","score":0.4437374174594879},{"id":"https://openalex.org/keywords/combinatorial-game-theory","display_name":"Combinatorial game theory","score":0.4302450716495514},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.29628628492355347},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24910137057304382}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8680852651596069},{"id":"https://openalex.org/C123676819","wikidata":"https://www.wikidata.org/wiki/Q1074338","display_name":"Perfect information","level":2,"score":0.7451162934303284},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6219632029533386},{"id":"https://openalex.org/C2780945871","wikidata":"https://www.wikidata.org/wiki/Q194274","display_name":"Backup","level":2,"score":0.5969995260238647},{"id":"https://openalex.org/C88959737","wikidata":"https://www.wikidata.org/wiki/Q1546627","display_name":"Strategy","level":3,"score":0.5876482725143433},{"id":"https://openalex.org/C200594392","wikidata":"https://www.wikidata.org/wiki/Q812529","display_name":"Bayesian game","level":4,"score":0.5559240579605103},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.5106862187385559},{"id":"https://openalex.org/C46814582","wikidata":"https://www.wikidata.org/wiki/Q23389","display_name":"Nash equilibrium","level":2,"score":0.5084961652755737},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.4963398575782776},{"id":"https://openalex.org/C73795354","wikidata":"https://www.wikidata.org/wiki/Q287618","display_name":"Sequential game","level":3,"score":0.4924510419368744},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.4819085896015167},{"id":"https://openalex.org/C202556891","wikidata":"https://www.wikidata.org/wiki/Q1584646","display_name":"Repeated game","level":3,"score":0.4782596826553345},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.46780991554260254},{"id":"https://openalex.org/C167573328","wikidata":"https://www.wikidata.org/wiki/Q7439054","display_name":"Screening game","level":4,"score":0.4490181803703308},{"id":"https://openalex.org/C2780310539","wikidata":"https://www.wikidata.org/wiki/Q12547192","display_name":"Imperfect","level":2,"score":0.4437374174594879},{"id":"https://openalex.org/C102234262","wikidata":"https://www.wikidata.org/wiki/Q1320931","display_name":"Combinatorial game theory","level":4,"score":0.4302450716495514},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29628628492355347},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24910137057304382},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/fi-2018-1662","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2018-1662","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-03779041v1","is_oa":false,"landing_page_url":"https://telecom-paris.hal.science/hal-03779041","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Fundamenta Informaticae, 2018, 159 (1-2), pp.175--195. ⟨10.3233/FI-2018-1662⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:zenodo.org:142065","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/142065","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"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":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:142065","is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/142065","pdf_url":null,"source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"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":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1988808695","https://openalex.org/W2092977061","https://openalex.org/W2115587183","https://openalex.org/W2124110813","https://openalex.org/W2145790759","https://openalex.org/W2165040865","https://openalex.org/W2274066497","https://openalex.org/W2404991554","https://openalex.org/W2475280705","https://openalex.org/W2951982224","https://openalex.org/W3101497863"],"related_works":["https://openalex.org/W1545888636","https://openalex.org/W2039104542","https://openalex.org/W2490480623","https://openalex.org/W2910530315","https://openalex.org/W4300024909","https://openalex.org/W2569966994","https://openalex.org/W4301383555","https://openalex.org/W2953118428","https://openalex.org/W4324137302","https://openalex.org/W2909290962"],"abstract_inverted_index":{"In":[0,67,136],"game":[1,10,24,49],"theory,":[2],"deciding":[3,46],"whether":[4,14,29,47],"a":[5,9,17,34,48,51,58,64,78,82,88,121],"designed":[6,83],"player":[7,84],"wins":[8],"amounts":[11],"to":[12],"check":[13],"he":[15,30],"has":[16,31,85],"winning":[18,35,89],"strategy.":[19,90],"However,":[20],"there":[21],"are":[22,141],"several":[23],"settings":[25],"in":[26,45,56,77,115,120,124],"which":[27],"knowing":[28],"more":[32,86],"than":[33,87],"strategy":[36],"is":[37,43],"also":[38],"important.":[39],"For":[40],"example,":[41],"this":[42,61,68,93],"crucial":[44],"admits":[50],"unique":[52],"Nash":[53],"Equilibrium,":[54],"or":[55],"planning":[57],"rescue":[59],"as":[60],"would":[62],"provide":[63,109],"backup":[65],"plan.":[66],"paper":[69],"we":[70],"study":[71],"the":[72,102,106,116,125,139],"problem":[73],"of":[74],"checking":[75],"whether,":[76],"two-player":[79],"reachability":[80],"game,":[81],"We":[91,108],"investigate":[92],"question":[94],"both":[95,137],"under":[96],"perfect":[97,117],"and":[98],"imperfect":[99,126],"information":[100,118,127],"about":[101],"moves":[103],"performed":[104],"by":[105],"players.":[107],"an":[110,132],"automata-based":[111],"solution":[112],"that":[113],"results,":[114],"setting,":[119,128],"linear-time":[122],"procedure;":[123],"instead,":[129],"it":[130],"shows":[131],"exponential-time":[133],"upper":[134],"bound.":[135],"cases,":[138],"results":[140],"tight.":[142]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}