PSPACE-Hard 2D Super Mario Games: Thirteen Doors. - MIT Hardness Group; Hayashi Ani; Erik D. Demaine; Holden Hall; Matias Korman (FUN, 2024)

You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games. - MIT Hardness Group; Hayashi Ani; Erik D. Demaine; Holden Hall; Ricardo Ruiz; Naveen Venkat (FUN, 2024)

Agent Motion Planning as Block Asynchronous Cellular Automata: Pushing, Pulling, Suplexing, and More. - Hayashi Ani; Josh Brunner; Erik D. Demaine; Jenny Diomidova; Timothy Gomez; Della H. Hendrickson; Yael Kirkpatrick; Jeffery Li; Jayson Lynch; Ritam Nag; Frederick Stock (UCNC, 2024)

Pushing Blocks via Checkable Gadgets: PSPACE-completeness of Push-1F and Block/Box Dude. - Hayashi Ani; Lily Chung; Erik D. Demaine; Jenny Diomidova; Della H. Hendrickson; Jayson Lynch (CoRR, 2024)