Paper by Erik D. Demaine

Reference:

MIT Hardness Group, Erik D. Demaine, Holden Hall, Hayashi Layers, Ricardo Ruiz, and Naveen Venkat, “You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games”, Theoretical Computer Science, volume 1060, 2026, pages 115549.

BibTeX

@Article{MarioUndecidable_TCS,
  key           = {MIT},
  AUTHOR        = {{MIT Hardness Group} and Erik D. Demaine and Holden Hall and Hayashi Layers and Ricardo Ruiz and Naveen Venkat},
  TITLE         = {You Can't Solve These {Super Mario Bros.}\ Levels: Undecidable {Mario} Games},
  JOURNAL       = {Theoretical Computer Science},
  journalurl    = {https://www.journals.elsevier.com/theoretical-computer-science},
  VOLUME        = 1060,
  PAGES         = {115549},
  YEAR          = 2026,

  withstudent   = 1,
  replaces      = {MarioUndecidable_FUN2024},
  papers        = {MarioUndecidable_FUN2024},
  doi           = {https://dx.doi.org/10.1016/J.TCS.2025.115549},
  dblp          = {https://dblp.org/rec/journals/tcs/DemaineHLRV26},
  comments      = {This paper is also available from <A HREF="https://doi.org/10.1016/j.tcs.2025.115549">ScienceDirect</A>.},
}

Comments:

This paper is also available from ScienceDirect.

Availability:

Currently unavailable. If you are in a rush for copies, contact me.

[Google Scholar search]

Related papers:

MarioUndecidable_FUN2024 (You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games)