{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:06:29Z","timestamp":1750309589431,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T00:00:00Z","timestamp":1744675200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,4,15]]},"DOI":"10.1145\/3723498.3723844","type":"proceedings-article","created":{"date-parts":[[2025,5,9]],"date-time":"2025-05-09T12:04:41Z","timestamp":1746792281000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Stuck in the Middle: Generating Levels without (or with) Softlocks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4504-0877","authenticated-orcid":false,"given":"Seth","family":"Cooper","sequence":"first","affiliation":[{"name":"Northeastern University, Boston, Massachusetts, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0022-9611","authenticated-orcid":false,"given":"Mahsa","family":"Bazzaz","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, Massachusetts, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,5,9]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/118179497"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","unstructured":"Aghyad Albaghajati and Moataz Ahmed. 2022. A co-evolutionary genetic algorithms approach to detect video game bugs. Journal of Systems and Software 188 (June 2022) 111261. 10.1016\/j.jss.2022.111261","DOI":"10.1016\/j.jss.2022.111261"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Bowen Alpern and Fred\u00a0B. Schneider. 1985. Defining liveness. Inform. Process. Lett. 21 4 (Oct. 1985) 181\u2013185. 10.1016\/0020-0190(85)90056-0","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"publisher","DOI":"10.1109\/CoG47356.2020.9231552"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Edmund Clarke Armin Biere Richard Raimi and Yunshan Zhu. 2001. Bounded model checking using satisfiability solving. Formal Methods in System Design 19 1 (July 2001) 7\u201334. 10.1023\/A:1011276507260","DOI":"10.1023\/A:1011276507260"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2019.8848026"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Seth Cooper. 2022. Sturgeon: tile-based procedural level generation via learned and designed constraints. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 18 1 (2022) 26\u201336.","DOI":"10.1609\/aiide.v18i1.21944"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","unstructured":"Seth Cooper. 2024. level2image: a utility for making 2D tile-based level images with overlays. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 20 1 (Nov. 2024) 254\u2013255. 10.1609\/aiide.v20i1.31886","DOI":"10.1609\/aiide.v20i1.31886"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649921.3659844"},{"key":"e_1_3_3_1_11_2","volume-title":"Proceedings of the Experimental AI in Games Workshop","author":"Cooper Seth","year":"2020","unstructured":"Seth Cooper and Anurag Sarkar. 2020. Pathfinding Agents for Platformer Level Repair. In Proceedings of the Experimental AI in Games Workshop."},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/GEM61861.2024.10585558"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1609\/aiide.v17i1.18901"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-31204-0_36"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/CoG57401.2023.10333194"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/CoG52621.2021.9619048"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759804"},{"key":"e_1_3_3_1_18_2","unstructured":"Maxim Gumin. 2016. WaveFunctionCollapse. https:\/\/github.com\/mxgmn\/WaveFunctionCollapse."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Christoffer Holmg\u00e5rd Michael\u00a0Cerny Green Antonios Liapis and Julian Togelius. 2019. Automated playtesting with procedural personas through MCTS with evolved heuristics. IEEE Transactions on Games 11 4 (Dec. 2019) 352\u2013362. 10.1109\/TG.2018.2808198","DOI":"10.1109\/TG.2018.2808198"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","unstructured":"Gwan-Hwan Hwang Kuo-Chung Tai and Ting-Lu Huang. 1995. Reachability testing: an approach to testing concurrent software. International Journal of Software Engineering and Knowledge Engineering 05 04 (Dec. 1995) 493\u2013510. 10.1142\/S0218194095000241","DOI":"10.1142\/S0218194095000241"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94144-8_26"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","unstructured":"Alexey Ignatiev Antonio Morgado and Joao Marques-Silva. 2019. RC2: an efficient MaxSAT solver. Journal on Satisfiability Boolean Modeling and Computation 11 1 (Jan. 2019) 53\u201364. 10.3233\/SAT190116","DOI":"10.3233\/SAT190116"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","unstructured":"Mark\u00a0R. Johnson. 2019. Playful work and laborious play in Super Mario Maker. Digital Culture & Society 5 2 (Dec. 2019) 103\u2013120. 10.14361\/dcs-2019-0207","DOI":"10.14361\/dcs-2019-0207"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1145\/3102071.3110566"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3649921.3649995"},{"key":"e_1_3_3_1_26_2","unstructured":"Kenney. 2010. Home. https:\/\/www.kenney.nl\/."},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","unstructured":"Lazaros Lazaridis and George\u00a0F. Fragulis. 2024. Creating a newer and improved procedural content generation (PCG) algorithm with minimal human intervention for computer gaming development. Computers 13 11 (Nov. 2024) 304. 10.3390\/computers13110304","DOI":"10.3390\/computers13110304"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","unstructured":"A. Lig\u0119za. 1985. Backward versus forward plan generation. IFAC Proceedings Volumes 18 16 (Nov. 1985) 337\u2013342. 10.1016\/S1474-6670(17)59986-3","DOI":"10.1016\/S1474-6670(17)59986-3"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/3472538.3472542"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-434"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42716-4_8"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16901-4_33"},{"key":"e_1_3_3_1_33_2","unstructured":"Andrew Plotkin. 1996. The Zarfian Cruelty (or Forgiveness) Scale. https:\/\/eblong.com\/zarf\/essays\/cruelty.html. Accessed: 2025-01-30."},{"key":"e_1_3_3_1_34_2","volume-title":"Proceedings of the 10th International Conference on the Foundations of Digital Games","author":"Reuter Christian","year":"2015","unstructured":"Christian Reuter, Stefan G\u00f6bel, and Ralf Steinmetz. 2015. Detecting structural errors in scene-based Multiplayer Games using automatically generated Petri Nets. In Proceedings of the 10th International Conference on the Foundations of Digital Games."},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42716-4"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/2282338.2282370"},{"key":"e_1_3_3_1_37_2","first-page":"221","volume-title":"Proceedings of the 8th International Conference on Foundations of Digital Games","author":"Smith Adam\u00a0M.","year":"2013","unstructured":"Adam\u00a0M. Smith, Eric Butler, and Zoran Popovic. 2013. Quantifying over Play: Constraining Undesirable Solutions in Puzzle Design. In Proceedings of the 8th International Conference on Foundations of Digital Games. 221\u2013228."},{"key":"e_1_3_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.5555\/3060621.3060730"},{"key":"e_1_3_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-429"},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"crossref","unstructured":"Adam Summerville Sam Snodgrass Matthew Guzdial Christoffer Holmg\u00e5rd Amy\u00a0K. Hoover Aaron Isaksen Andy Nealen and Julian Togelius. 2018. Procedural Content Generation via Machine Learning (PCGML). IEEE Transactions on Games 10 3 (Sept. 2018) 257\u2013270.","DOI":"10.1109\/TG.2018.2846639"},{"key":"#cr-split#-e_1_3_3_1_41_2.1","unstructured":"Adam\u00a0James Summerville Shweta Philip and Michael Mateas. 2015. MCMCTS PCG 4 SMB: Monte Carlo Tree Search to Guide Platformer Level Generation. AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment"},{"key":"#cr-split#-e_1_3_3_1_41_2.2","unstructured":"Eleventh Artificial Intelligence and Interactive Digital Entertainment Conference (2015)."},{"key":"e_1_3_3_1_42_2","unstructured":"Adam\u00a0James Summerville Sam Snodgrass Michael Mateas and Santiago Onta\u00f1\u00f3n. 2016. The VGLC: The Video Game Level Corpus. arXiv:https:\/\/arXiv.org\/abs\/1606.07487 [cs] (July 2016). http:\/\/arxiv.org\/abs\/1606.07487"},{"key":"e_1_3_3_1_43_2","doi-asserted-by":"publisher","unstructured":"Richard\u00a0N. Taylor. 1983. A general-purpose algorithm for analyzing concurrent programs. Commun. ACM 26 5 (May 1983) 361\u2013376. 10.1145\/69586.69587","DOI":"10.1145\/69586.69587"},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"crossref","unstructured":"Julian Togelius Georgios\u00a0N. Yannakakis Kenneth\u00a0O. Stanley and Cameron Browne. 2011. Search-based procedural content generation: a taxonomy and survey. IEEE Transactions on Computational Intelligence and AI in Games 3 3 (2011) 172\u2013186.","DOI":"10.1109\/TCIAIG.2011.2148116"},{"key":"e_1_3_3_1_45_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-722"},{"key":"e_1_3_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/CoG51982.2022.9893616"},{"key":"e_1_3_3_1_47_2","doi-asserted-by":"crossref","unstructured":"Hejia Zhang Matthew Fontaine Amy Hoover Julian Togelius Bistra Dilkina and Stefanos Nikolaidis. 2020. Video game level repair via mixed integer linear programming. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment 16 1 (Oct. 2020) 151\u2013158.","DOI":"10.1609\/aiide.v16i1.7424"}],"event":{"name":"FDG '25: International Conference on the Foundations of Digital Games","acronym":"FDG '25","location":"Vienna & Graz Austria"},"container-title":["Proceedings of the 20th International Conference on the Foundations of Digital Games"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723498.3723844","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3723498.3723844","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:56:46Z","timestamp":1750298206000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723498.3723844"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,15]]},"references-count":47,"alternative-id":["10.1145\/3723498.3723844","10.1145\/3723498"],"URL":"https:\/\/doi.org\/10.1145\/3723498.3723844","relation":{},"subject":[],"published":{"date-parts":[[2025,4,15]]},"assertion":[{"value":"2025-05-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}