21 citations · 38 across the 3 of their papers we have counts for
1 paper · 1 filter
MIT Hardness Group, Erik D. Demaine, Lilly Hall +3
We prove RE-completeness (and thus undecidability) of several 2D games in the Super Mario Bros. platform video game series: the New Super Mario Bros. series (original, Wii, U, and…