{"id":"https://openalex.org/W4410236989","doi":"https://doi.org/10.1145/3723498.3723795","title":"Analytic Procgen with Composable Design Space Expressions","display_name":"Analytic Procgen with Composable Design Space Expressions","publication_year":2025,"publication_date":"2025-04-15","ids":{"openalex":"https://openalex.org/W4410236989","doi":"https://doi.org/10.1145/3723498.3723795"},"language":"en","primary_location":{"id":"doi:10.1145/3723498.3723795","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3723498.3723795","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3723498.3723795","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on the Foundations of Digital Games","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3723498.3723795","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045298161","display_name":"Ross Mawhorter","orcid":"https://orcid.org/0000-0002-4735-010X"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ross Mawhorter","raw_affiliation_strings":["Design Reasoning Lab, University of California Santa Cruz, Santa Cruz, CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-4735-010X","affiliations":[{"raw_affiliation_string":"Design Reasoning Lab, University of California Santa Cruz, Santa Cruz, CA, USA","institution_ids":["https://openalex.org/I185103710"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055813085","display_name":"Adam M. Smith","orcid":"https://orcid.org/0000-0002-4519-8423"},"institutions":[{"id":"https://openalex.org/I185103710","display_name":"University of California, Santa Cruz","ror":"https://ror.org/03s65by71","country_code":"US","type":"education","lineage":["https://openalex.org/I185103710"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Adam M. Smith","raw_affiliation_strings":["Design Reasoning Lab, University of California Santa Cruz, Santa Cruz, CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-4519-8423","affiliations":[{"raw_affiliation_string":"Design Reasoning Lab, University of California Santa Cruz, Santa Cruz, CA, USA","institution_ids":["https://openalex.org/I185103710"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I185103710"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08424399,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9948999881744385,"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/T10142","display_name":"Formal Methods in Verification","score":0.9909999966621399,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6640030741691589},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.55943363904953},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32828038930892944},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10571983456611633}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6640030741691589},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.55943363904953},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32828038930892944},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10571983456611633}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3723498.3723795","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3723498.3723795","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3723498.3723795","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on the Foundations of Digital Games","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3723498.3723795","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3723498.3723795","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3723498.3723795","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 20th International Conference on the Foundations of Digital Games","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410236989.pdf","grobid_xml":"https://content.openalex.org/works/W4410236989.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1671718115","https://openalex.org/W1822932058","https://openalex.org/W2020987898","https://openalex.org/W2063569379","https://openalex.org/W2103823214","https://openalex.org/W2111393845","https://openalex.org/W2152660354","https://openalex.org/W2902069995","https://openalex.org/W2964201809","https://openalex.org/W3186993943","https://openalex.org/W4231842458","https://openalex.org/W4235197231","https://openalex.org/W4236250754","https://openalex.org/W4387700644","https://openalex.org/W4392376954","https://openalex.org/W4400361040","https://openalex.org/W4400361063","https://openalex.org/W4400361364","https://openalex.org/W4400361824"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"When":[0],"designing":[1],"procedural":[2],"content":[3],"generation":[4],"systems":[5],"for":[6,97,104,148,154],"games,":[7],"we":[8,92,150],"imagine":[9],"that":[10],"there":[11,33],"is":[12,34],"a":[13,24,35,94,133],"space":[14,25],"of":[15,20,26,47,88,106,135,160,167,169],"potential":[16,27],"designs,":[17],"and":[18,41,70,108,124,145],"each":[19,166],"those":[21],"designs":[22,107],"affords":[23],"play.However,":[28],"in":[29,52,64,165],"most":[30],"generative":[31],"systems,":[32],"complex":[36,137],"relationship":[37],"between":[38],"input":[39],"parameters":[40],"the":[42,65,81,86],"design":[43],"or":[44],"play":[45,111],"properties":[46],"system":[48],"outputs.As":[49],"generators":[50,99,114],"grow":[51],"complexity,":[53],"it":[54],"becomes":[55],"harder":[56],"to":[57,75,80,141],"predict":[58],"what":[59],"experiences":[60],"players":[61],"will":[62,84],"have":[63,115],"generated":[66],"design.In":[67],"both":[68],"constructive":[69],"solver-based":[71],"approaches,":[72],"this":[73,90],"leads":[74],"uncertainty":[76],"about":[77,129],"how":[78,140],"changes":[79],"generator":[82],"itself":[83],"affect":[85],"distribution":[87],"outputs.In":[89],"paper,":[91],"contribute":[93],"new":[95],"method":[96],"constructing":[98],"by":[100],"manipulating":[101],"closed-form":[102],"expressions":[103,144],"spaces":[105,157],"their":[109,130],"associated":[110],"properties.The":[112],"resulting":[113],"highly":[116],"predictable":[117],"running":[118],"times,":[119],"precisely":[120],"controllable":[121],"output":[122],"distributions,":[123],"allow":[125],"enforcing":[126],"arbitrary":[127],"constraints":[128],"outputs.We":[131],"offer":[132],"sequence":[134],"increasingly":[136],"examples":[138],"showing":[139],"compute":[142],"design-interaction":[143,156],"use":[146],"them":[147],"generation.Finally,":[149],"document":[151],"scaling":[152],"strategies":[153],"handling":[155],"where":[158],"millions":[159],"gameplay":[161],"states":[162],"are":[163],"reachable":[164],"trillions":[168],"designs.":[170]},"counts_by_year":[],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}