{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:20Z","timestamp":1750220360471,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,3]],"date-time":"2021-08-03T00:00:00Z","timestamp":1627948800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,8,3]]},"DOI":"10.1145\/3472538.3472542","type":"proceedings-article","created":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T22:48:54Z","timestamp":1634856534000},"page":"1-10","source":"Crossref","is-referenced-by-count":5,"title":["Softlock Detection for Super Metroid with Computation Tree Logic"],"prefix":"10.1145","author":[{"given":"Ross","family":"Mawhorter","sequence":"first","affiliation":[{"name":"University of California Santa Cruz, United States"}]},{"given":"Adam","family":"Smith","sequence":"additional","affiliation":[{"name":"University of California Santa Cruz, United States"}]}],"member":"320","published-online":{"date-parts":[[2021,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration. In 2019 IEEE Conference on Games (CoG). https:\/\/doi.org\/10","author":"Chang K.","year":"2019","unstructured":"K. Chang , B. Aytemiz , and A.\u00a0 M. Smith . 2019 . Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration. In 2019 IEEE Conference on Games (CoG). https:\/\/doi.org\/10 .1109\/CIG.2019.8848091 K. Chang, B. Aytemiz, and A.\u00a0M. Smith. 2019. Reveal-More: Amplifying Human Effort in Quality Assurance Testing Using Automated Exploration. In 2019 IEEE Conference on Games (CoG). https:\/\/doi.org\/10.1109\/CIG.2019.8848091"},{"key":"e_1_3_2_1_2_1","volume-title":"Handbook of Model Checking","author":"Clarke M.","unstructured":"Edmund\u00a0 M. Clarke , Thomas\u00a0 A. Henzinger , Helmut Veith , and Roderick Bloem . 2018. Handbook of Model Checking ( 1 st ed.). Springer Publishing Company, Inc orporated. a. Section 2.2.1, p.30, b. Section 2.4.1 p.53, c. Section 13.3, p.394. Edmund\u00a0M. Clarke, Thomas\u00a0A. Henzinger, Helmut Veith, and Roderick Bloem. 2018. Handbook of Model Checking(1st ed.). Springer Publishing Company, Incorporated. a. Section 2.2.1, p.30, b. Section 2.4.1 p.53, c. Section 13.3, p.394.","edition":"1"},{"key":"e_1_3_2_1_3_1","volume-title":"Hyperstate Space Graphs for Automated Game Analysis. In 2019 IEEE Conference on Games (CoG). https:\/\/doi.org\/10","author":"Cook M.","year":"2019","unstructured":"M. Cook and A. Raad . 2019 . Hyperstate Space Graphs for Automated Game Analysis. In 2019 IEEE Conference on Games (CoG). https:\/\/doi.org\/10 .1109\/CIG. 2019 .8848026 M. Cook and A. Raad. 2019. Hyperstate Space Graphs for Automated Game Analysis. In 2019 IEEE Conference on Games (CoG). https:\/\/doi.org\/10.1109\/CIG.2019.8848026"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the Experimental AI in Games (EXAG) Workshop at AIIDE","author":"Cooper Seth","year":"2020","unstructured":"Seth Cooper and Anurag Sarkar . 2020 . Pathfinding Agents for Platformer Level Repair . Proceedings of the Experimental AI in Games (EXAG) Workshop at AIIDE (2020). Seth Cooper and Anurag Sarkar. 2020. Pathfinding Agents for Platformer Level Repair. Proceedings of the Experimental AI in Games (EXAG) Workshop at AIIDE (2020)."},{"key":"e_1_3_2_1_5_1","unstructured":"Sega Corporation. 1991. Sonic the Hedgehog.  Sega Corporation. 1991. Sonic the Hedgehog."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3102071.3102105"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the Experimental AI in Games (EXAG) Workshop at AIIDE","author":"Hoyt Andrew","year":"2019","unstructured":"Andrew Hoyt , Matthew Guzdial , Yalini Kumar , Gillian Smith , and Mark\u00a0 O Riedl . 2019 . Integrating Automated Play in Level Co-Creation . Proceedings of the Experimental AI in Games (EXAG) Workshop at AIIDE (2019). Andrew Hoyt, Matthew Guzdial, Yalini Kumar, Gillian Smith, and Mark\u00a0O Riedl. 2019. Integrating Automated Play in Level Co-Creation. Proceedings of the Experimental AI in Games (EXAG) Workshop at AIIDE (2019)."},{"volume-title":"Proceedings of the First International Joint Conference of DiGRA and FDG","author":"Mateas Michael Summerville\u00a0Adam","key":"e_1_3_2_1_8_1","unstructured":"Summerville\u00a0Adam J. and Mateas Michael . 2016. Super Mario as a String: Platformer Level Generation Via LSTMs . In Proceedings of the First International Joint Conference of DiGRA and FDG . Digital Games Research Association and Society for the Advancement of the Science of Digital Games, Dundee, Scotland. http:\/\/www.digra.org\/wp-content\/uploads\/digital-library\/paper_129.pdf Summerville\u00a0Adam J. and Mateas Michael. 2016. Super Mario as a String: Platformer Level Generation Via LSTMs. In Proceedings of the First International Joint Conference of DiGRA and FDG. Digital Games Research Association and Society for the Advancement of the Science of Digital Games, Dundee, Scotland. http:\/\/www.digra.org\/wp-content\/uploads\/digital-library\/paper_129.pdf"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598392"},{"key":"e_1_3_2_1_10_1","volume-title":"Why Artificial Intelligence Researchers Love \u2019Super Mario Bros.\u2019. Motherboard (Oct","author":"Jordan Pearson","year":"2015","unstructured":"Pearson Jordan . 2015. Why Artificial Intelligence Researchers Love \u2019Super Mario Bros.\u2019. Motherboard (Oct 2015 ). https:\/\/www.vice.com\/en\/article\/8q84zz\/why-artificial-intelligence-researchers-love-super-mario-bros Pearson Jordan. 2015. Why Artificial Intelligence Researchers Love \u2019Super Mario Bros.\u2019. Motherboard (Oct 2015). https:\/\/www.vice.com\/en\/article\/8q84zz\/why-artificial-intelligence-researchers-love-super-mario-bros"},{"key":"e_1_3_2_1_11_1","unstructured":"Nintendo\u00a0Co. Ltd.1983. Super Mario Bros.  Nintendo\u00a0Co. Ltd.1983. Super Mario Bros."},{"key":"e_1_3_2_1_12_1","unstructured":"Nintendo\u00a0Co. Ltd.1986. Kid Icarus.  Nintendo\u00a0Co. Ltd.1986. Kid Icarus."},{"key":"e_1_3_2_1_13_1","unstructured":"Nintendo\u00a0Co. Ltd.1986. The Legend of Zelda.  Nintendo\u00a0Co. Ltd.1986. The Legend of Zelda."},{"key":"e_1_3_2_1_14_1","unstructured":"Nintendo\u00a0Co. Ltd.1994. Super Metroid.  Nintendo\u00a0Co. Ltd.1994. Super Metroid."},{"volume-title":"Computers, chess, and cognition","author":"McCarthy John","key":"e_1_3_2_1_15_1","unstructured":"John McCarthy . 1990. Chess as the Drosophila of AI . In Computers, chess, and cognition . Springer , 227\u2013237. John McCarthy. 1990. Chess as the Drosophila of AI. In Computers, chess, and cognition. Springer, 227\u2013237."},{"volume-title":"On Spectral Clustering: Analysis and an algorithm","author":"Ng Y.","key":"e_1_3_2_1_16_1","unstructured":"Andrew\u00a0 Y. Ng , Michael\u00a0 I. Jordan , and Yair Weiss . 2001. On Spectral Clustering: Analysis and an algorithm . In ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. MIT Press , 849\u2013856. Andrew\u00a0Y. Ng, Michael\u00a0I. Jordan, and Yair Weiss. 2001. On Spectral Clustering: Analysis and an algorithm. In ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS. MIT Press, 849\u2013856."},{"key":"e_1_3_2_1_17_1","unstructured":"J.\u00a0C. Osborn Brian Lambrigger and M. Mateas. 2017. HyPED: Modeling and Analyzing Action Games as Hybrid Systems. In AIIDE.  J.\u00a0C. Osborn Brian Lambrigger and M. Mateas. 2017. HyPED: Modeling and Analyzing Action Games as Hybrid Systems. In AIIDE."},{"key":"e_1_3_2_1_18_1","volume-title":"Modeling Player Experience in Super Mario Bros. In 2009 IEEE Symposium on Computational Intelligence and Games. IEEE, 132\u2013139","author":"Pedersen Chris","year":"2009","unstructured":"Chris Pedersen , Julian Togelius , and Georgios\u00a0 N Yannakakis . 2009 . Modeling Player Experience in Super Mario Bros. In 2009 IEEE Symposium on Computational Intelligence and Games. IEEE, 132\u2013139 . Chris Pedersen, Julian Togelius, and Georgios\u00a0N Yannakakis. 2009. Modeling Player Experience in Super Mario Bros. In 2009 IEEE Symposium on Computational Intelligence and Games. IEEE, 132\u2013139."},{"key":"e_1_3_2_1_19_1","unstructured":"L. Pick G. Fedyukovich and A. Gupta. 2020. Automating Modular Verification of Secure Information Flow. In 2020 Formal Methods in Computer Aided Design (FMCAD). 158\u2013168. https:\/\/doi.org\/10.34727\/2020\/isbn.978-3-85448-042-6_23  L. Pick G. Fedyukovich and A. Gupta. 2020. Automating Modular Verification of Secure Information Flow. In 2020 Formal Methods in Computer Aided Design (FMCAD). 158\u2013168. https:\/\/doi.org\/10.34727\/2020\/isbn.978-3-85448-042-6_23"},{"volume-title":"In Proceedings of ACM Conference on Foundations of Digital Games.","author":"M.","key":"e_1_3_2_1_21_1","unstructured":"Adam\u00a0 M. Smith and Eric Butler. 2013. Quantifying over Play: Constraining Undesirable Solutions in Puzzle Design . In In Proceedings of ACM Conference on Foundations of Digital Games. Adam\u00a0M. Smith and Eric Butler. 2013. Quantifying over Play: Constraining Undesirable Solutions in Puzzle Design. In In Proceedings of ACM Conference on Foundations of Digital Games."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITW.2010.5593368"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCIAIG.2011.2159716"},{"key":"e_1_3_2_1_24_1","volume-title":"The 2009 Mario AI Competition. In IEEE Congress on Evolutionary Computation. IEEE.","author":"Togelius Julian","year":"2010","unstructured":"Julian Togelius , Sergey Karakovskiy , and Robin Baumgarten . 2010 . The 2009 Mario AI Competition. In IEEE Congress on Evolutionary Computation. IEEE. Julian Togelius, Sergey Karakovskiy, and Robin Baumgarten. 2010. The 2009 Mario AI Competition. In IEEE Congress on Evolutionary Computation. IEEE."},{"key":"e_1_3_2_1_25_1","volume-title":"Precomputing Player Movement in Platformers for Level Generation with Reachability Constraints. Experimental AI in Games (Oct","author":"Vivian\u00a0Lee Nathan\u00a0Partlan","year":"2020","unstructured":"Nathan\u00a0Partlan Vivian\u00a0Lee and Seth Cooper . 2020. Precomputing Player Movement in Platformers for Level Generation with Reachability Constraints. Experimental AI in Games (Oct . 2020 ). http:\/\/www.exag.org\/papers\/EXAG_2020_paper_13.pdf Nathan\u00a0Partlan Vivian\u00a0Lee and Seth Cooper. 2020. Precomputing Player Movement in Platformers for Level Generation with Reachability Constraints. Experimental AI in Games (Oct. 2020). http:\/\/www.exag.org\/papers\/EXAG_2020_paper_13.pdf"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205455.3205517"},{"key":"e_1_3_2_1_27_1","unstructured":"Zeping Zhan Batu Aytemiz and Adam\u00a0M. Smith. 2018. Taking the Scenic Route: Automatic Exploration for Videogames. CoRR abs\/1812.03125(2018). arxiv:1812.03125http:\/\/arxiv.org\/abs\/1812.03125  Zeping Zhan Batu Aytemiz and Adam\u00a0M. Smith. 2018. Taking the Scenic Route: Automatic Exploration for Videogames. CoRR abs\/1812.03125(2018). arxiv:1812.03125http:\/\/arxiv.org\/abs\/1812.03125"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3235765.3235786"}],"event":{"name":"FDG'21: The 16th International Conference on the Foundations of Digital Games 2021","acronym":"FDG'21","location":"Montreal QC Canada"},"container-title":["The 16th International Conference on the Foundations of Digital Games (FDG) 2021"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472538.3472542","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3472538.3472542","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:23Z","timestamp":1750191443000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3472538.3472542"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,3]]},"references-count":27,"alternative-id":["10.1145\/3472538.3472542","10.1145\/3472538"],"URL":"https:\/\/doi.org\/10.1145\/3472538.3472542","relation":{},"subject":[],"published":{"date-parts":[[2021,8,3]]}}}