{"id":"https://openalex.org/W2606269541","doi":"https://doi.org/10.14273/unisa-749","title":"Synthesis of recursive state machines from libraries of game modules","display_name":"Synthesis of recursive state machines from libraries of game modules","publication_year":2016,"publication_date":"2016-05-18","ids":{"openalex":"https://openalex.org/W2606269541","doi":"https://doi.org/10.14273/unisa-749","mag":"2606269541"},"language":"en","primary_location":{"id":"doi:10.14273/unisa-749","is_oa":true,"landing_page_url":"https://doi.org/10.14273/unisa-749","pdf_url":null,"source":{"id":"https://openalex.org/S7407051004","display_name":"Universit\u00e0 degli Studi di Salerno","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Other"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.14273/unisa-749","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053887728","display_name":"Ilaria De Crescenzo","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"De Crescenzo, Ilaria","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5053887728"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.996999979019165,"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"}},"topics":[{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.996999979019165,"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/T10462","display_name":"Reinforcement Learning in Robotics","score":0.9241999983787537,"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/T10731","display_name":"Educational Games and Gamification","score":0.9186999797821045,"subfield":{"id":"https://openalex.org/subfields/3204","display_name":"Developmental and Educational Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5490217804908752},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5346004366874695},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.388231098651886},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3617929220199585}],"concepts":[{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5490217804908752},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5346004366874695},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.388231098651886},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3617929220199585}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.14273/unisa-749","is_oa":true,"landing_page_url":"https://doi.org/10.14273/unisa-749","pdf_url":null,"source":{"id":"https://openalex.org/S7407051004","display_name":"Universit\u00e0 degli Studi di Salerno","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Other"},{"id":"mag:2606269541","is_oa":false,"landing_page_url":"http://elea.unisa.it/handle/10556/2334","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.14273/unisa-749","is_oa":true,"landing_page_url":"https://doi.org/10.14273/unisa-749","pdf_url":null,"source":{"id":"https://openalex.org/S7407051004","display_name":"Universit\u00e0 degli Studi di Salerno","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Other"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2098446307","https://openalex.org/W649636654","https://openalex.org/W263102186","https://openalex.org/W834189460","https://openalex.org/W2491985642","https://openalex.org/W3146178515"],"abstract_inverted_index":{"This":[0,22,394],"thesis":[1],"is":[2,59,88,102,106,112,205,217,396,415,464,472,486,511,533,578],"focused":[3],"on":[4,33,39,123,390],"synthesis.":[5,21],"In":[6,179,254],"formal":[7],"veri":[8],"cation":[9,320],"synthesis":[10,17,239,268,273,287,424,432],"can":[11,68,73,142],"be":[12,53,69,143],"referred":[13],"to":[14,75,108,114,138,453,478,527,546],"the":[15,19,44,47,50,81,84,98,124,131,171,175,202,215,255,272,285,299,340,343,382,400,403,406,413,430,457,462,499,536,540,547,575,583],"controller":[16],"and":[18,80,83,111,118,159,200,219,251,263,282,315,409,532,565],"system":[20],"work":[23],"combines":[24],"both":[25],"this":[26,259,328,375],"area":[27],"of":[28,61,64,77,86,97,126,146,174,227,258,276,301,307,324,342,384,402,405,436,482,490,501,514,530,539,582],"research.":[29],"First":[30],"we":[31,181,234,261,330,419],"focus":[32],"synthesizing":[34],"modular":[35,103,134,153,184,286,431],"controllers":[36],"considering":[37],"game":[38,41,57,295,305,310,388,392,407,445],"recursive":[40,56,277,294,309],"graph":[42,58,311,446],"with":[43,136,186,284,312,447,467,493,517,535,550],"requirement":[45],"that":[46,141,151,183,241,270,336,373,412,471,497,521,574],"strategy":[48,101,496],"for":[49,130,162,224,247,293,339,426,451,580],"protagonist":[51],"must":[52],"modular.":[54],"A":[55,100],"composed":[60],"a":[62,109,187,208,231,236,265,308,321,352,356,370,380,421,434,444,468,473,483,488,494,509,512,518,544],"set":[63,85,323,513],"modules,":[65],"whose":[66],"vertices":[67,71,87,341],"standard":[70,82],"or":[72,191,210,558],"correspond":[74],"invocations":[76],"other":[78],"modules":[79,306],"split":[89],"into":[90],"two":[91],"sets":[92],"each":[93,391,441,523],"controlled":[94],"by":[95,280,289,346,377,588],"one":[96],"players.":[99],"if":[104],"it":[105,220],"local":[107,386,495],"module":[110,116],"oblivious":[113],"previous":[115,458],"invocations,":[117],"thus":[119,364,410],"does":[120],"not":[121],"depend":[122],"context":[125],"invocation.":[127],"We":[128,149,168,297,350,367,439,542,572],"study":[129,420],"rst":[132],"time":[133],"strategies":[135],"respect":[137],"winning":[139,196,203,551],"conditions":[140,552],"expressed":[144],"languages":[145],"pushdown":[147,152,164,195,428,568],"automata.":[148],"show":[150,182,351,573],"games":[154,185],"are":[155,198],"undecidable":[156],"in":[157,379,399,456,525],"general,":[158],"become":[160],"decidable":[161],"visibly":[163,194,567],"automata":[165,563,569],"speci":[166,249,319,585],"cations.":[167,586],"carefully":[169],"characterize":[170],"computational":[172],"complexity":[173],"considered":[176,584],"decision":[177],"problem.":[178],"particular,":[180],"universal":[188],"B":[189],"uchi":[190,193],"co-B":[192],"condition":[197,204],"Exptime-complete,":[199],"when":[201],"given":[206,553],"as":[207,304,317,443,449,455,554,559],"CaRet":[209],"Nwtl":[211],"temporal":[212],"logic":[213],"formula":[214],"problem":[216,269,376,414,425,549,577],"2Exptime-complete,":[218],"remains":[221],"2Exptime-hard":[222],"even":[223],"simple":[225],"fragments":[226],"these":[228],"logics.":[229],"As":[230],"further":[232],"contribution,":[233],"present":[235],"di":[237],"erent":[238],"algorithm":[240,335,372,395],"runs":[242],"faster":[243],"than":[244],"known":[245],"solutions":[246],"large":[248],"cations":[250],"many":[252,385],"exits.":[253],"second":[256,371],"part":[257],"thesis,":[260],"introduce":[262],"solve":[264,327],"new":[266],"componentbased":[267],"subsumes":[271],"from":[274,359,433,476,508],"libraries":[275,303],"components":[278,300,345,437],"introduced":[279,288],"Lustig":[281],"Vardi":[283],"Alur":[290],"et":[291],"al.":[292],"graphs.":[296],"model":[298,440],"our":[302],"unmapped":[313],"boxes,":[314],"consider":[316],"correctness":[318],"target":[322],"vertices.":[325],"To":[326],"problem,":[329],"give":[331,369,543],"an":[332,528],"exponential-time":[333],"xed-point":[334],"computes":[337],"annotations":[338],"library":[344,435,463,510],"exploring":[347],"them":[348],"backwards.":[349],"matching":[353],"lower-bound":[354],"via":[355],"direct":[357],"reduction":[358],"linear-space":[360],"alternating":[361],"Turing":[362],"machines,":[363],"proving":[365],"Exptime-completeness.":[366],"also":[368,466],"solves":[374],"annotating":[378],"table":[381],"result":[383],"reachability":[387,556],"queries":[389],"component.":[393],"exponential":[397],"only":[398],"number":[401],"exits":[404],"components,":[408,454],"shows":[411],"xed-parameter":[416],"tractable.":[417],"Finally,":[418],"more":[422],"general":[423],"component-based":[427],"systems,":[429],"(Lms).":[438],"component":[442,484],"boxes":[448,477],"placeholders":[450],"calls":[452],"model,":[459],"but":[460],"now":[461],"equipped":[465],"box-to-component":[469,537],"map":[470,538],"partial":[474],"function":[475,520],"components.":[479],"An":[480,504],"instance":[481,529],"C":[485,491],"essentially":[487],"copy":[489],"along":[492,516],"resolves":[498],"nondeterminism":[500],"pl":[502],"0.":[503],"RSM":[505],"S":[506,526,531],"synthesized":[507],"instances":[515],"total":[519],"maps":[522],"box":[524],"consistent":[534],"library.":[541],"solution":[545],"Lms":[548,576],"internal":[555],"objectives,":[557],"external":[560],"deterministic":[561,566],"nite":[562],"(FA)":[564],"(VPA)":[570],"(6).":[571],"Exptime-complete":[579],"any":[581],"[edited":[587],"Author]":[589]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}