@InProceedings{mithardnessgroup_et_al:LIPIcs.FUN.2024.22, author = {MIT Hardness Group and Ani, Hayashi and Demaine, Erik D. and Hall, Holden and Ruiz, Ricardo and Venkat, Naveen}, title = {{You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games}}, booktitle = {12th International Conference on Fun with Algorithms (FUN 2024)}, pages = {22:1--22:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-314-0}, ISSN = {1868-8969}, year = {2024}, volume = {291}, editor = {Broder, Andrei Z. and Tamir, Tami}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FUN.2024.22}, URN = {urn:nbn:de:0030-drops-199302}, doi = {10.4230/LIPIcs.FUN.2024.22}, annote = {Keywords: video games, computational complexity, undecidability} }