{"id":"https://openalex.org/W2074585352","doi":"https://doi.org/10.1145/2603088.2603133","title":"Compositional higher-order model checking via <i>\u03c9</i> -regular games over B\u00f6hm trees","display_name":"Compositional higher-order model checking via <i>\u03c9</i> -regular games over B\u00f6hm trees","publication_year":2014,"publication_date":"2014-07-14","ids":{"openalex":"https://openalex.org/W2074585352","doi":"https://doi.org/10.1145/2603088.2603133","mag":"2074585352"},"language":"en","primary_location":{"id":"doi:10.1145/2603088.2603133","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2603088.2603133","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090766554","display_name":"Takeshi Tsukada","orcid":"https://orcid.org/0000-0002-2824-8708"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Takeshi Tsukada","raw_affiliation_strings":["University of Oxford"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025152913","display_name":"C.-H. Luke Ong","orcid":"https://orcid.org/0000-0001-7509-680X"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"C.-H. Luke Ong","raw_affiliation_strings":["University of Oxford"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oxford","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.7729,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.95300659,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9991000294685364,"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.9991000294685364,"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.9983999729156494,"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.9704999923706055,"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/automaton","display_name":"Automaton","score":0.5890685319900513},{"id":"https://openalex.org/keywords/tree-automaton","display_name":"Tree automaton","score":0.568108856678009},{"id":"https://openalex.org/keywords/parity","display_name":"Parity (physics)","score":0.5141523480415344},{"id":"https://openalex.org/keywords/combinatorial-game-theory","display_name":"Combinatorial game theory","score":0.5059508681297302},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.48258769512176514},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4581427276134491},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.4474143087863922},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4395640790462494},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.42235642671585083},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.41510167717933655},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37558412551879883},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35565030574798584},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.35564857721328735},{"id":"https://openalex.org/keywords/sequential-game","display_name":"Sequential game","score":0.3046300411224365},{"id":"https://openalex.org/keywords/game-theory","display_name":"Game theory","score":0.2721133232116699},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.1432093381881714}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5890685319900513},{"id":"https://openalex.org/C2778583254","wikidata":"https://www.wikidata.org/wiki/Q2872598","display_name":"Tree automaton","level":3,"score":0.568108856678009},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.5141523480415344},{"id":"https://openalex.org/C102234262","wikidata":"https://www.wikidata.org/wiki/Q1320931","display_name":"Combinatorial game theory","level":4,"score":0.5059508681297302},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.48258769512176514},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4581427276134491},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.4474143087863922},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4395640790462494},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.42235642671585083},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.41510167717933655},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37558412551879883},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35565030574798584},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.35564857721328735},{"id":"https://openalex.org/C73795354","wikidata":"https://www.wikidata.org/wiki/Q287618","display_name":"Sequential game","level":3,"score":0.3046300411224365},{"id":"https://openalex.org/C177142836","wikidata":"https://www.wikidata.org/wiki/Q44455","display_name":"Game theory","level":2,"score":0.2721133232116699},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.1432093381881714},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C109214941","wikidata":"https://www.wikidata.org/wiki/Q18334","display_name":"Particle physics","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2603088.2603133","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2603088.2603133","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.649.4546","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.649.4546","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www-kb.is.s.u-tokyo.ac.jp/~tsukada/papers/effect-arena-long.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1153122854","display_name":null,"funder_award_id":"KAKENHI 23220001","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G6667452092","display_name":null,"funder_award_id":"EP/F036361/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W151990118","https://openalex.org/W156616570","https://openalex.org/W1514149009","https://openalex.org/W1544413980","https://openalex.org/W1563982778","https://openalex.org/W1718895413","https://openalex.org/W1995251574","https://openalex.org/W2014771515","https://openalex.org/W2024189573","https://openalex.org/W2036753951","https://openalex.org/W2054684736","https://openalex.org/W2055765422","https://openalex.org/W2071164478","https://openalex.org/W2074465205","https://openalex.org/W2095051069","https://openalex.org/W2102644483","https://openalex.org/W2115051556","https://openalex.org/W2134918221","https://openalex.org/W2138308600","https://openalex.org/W2138316064","https://openalex.org/W2267612520"],"related_works":["https://openalex.org/W1582302366","https://openalex.org/W1548463674","https://openalex.org/W3174875281","https://openalex.org/W2610542549","https://openalex.org/W2119845623","https://openalex.org/W4242695085","https://openalex.org/W1557018980","https://openalex.org/W57172406","https://openalex.org/W3131253889","https://openalex.org/W2953470554"],"abstract_inverted_index":{"We":[0],"introduce":[1],"type-checking":[2,52],"games,":[3],"which":[4],"are":[5,23,54],"\u03c9-regular":[6],"games":[7,22,29,44,53],"over":[8,30,45],"B\u00f6hm":[9,60],"trees,":[10,31,46],"determined":[11,32,74],"by":[12,33,75],"a":[13,24,69],"type":[14,19],"of":[15,27,50,59,68,82],"the":[16,47,57,63,76,83],"Kobayashi-Ong":[17],"intersection":[18],"system.":[20],"These":[21],"higher-type":[25],"extension":[26],"parity":[28,36],"an":[34],"alternating":[35],"tree":[37],"automaton.":[38],"However,":[39],"in":[40],"contrast":[41],"to":[42],"these":[43],"\"game":[48],"boards\"":[49],"our":[51],"composable,":[55],"using":[56],"composition":[58],"trees.":[61],"Moreover":[62],"winner":[64],"(and":[65,79],"winning":[66,80],"strategies)":[67,81],"composite":[70],"game":[71],"is":[72],"completely":[73],"respective":[77],"winners":[78],"component":[84],"games.":[85]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":7},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}