TY  - RPRT
TI  - Push-1 is PSPACE-complete, and the automated verification of motion planning gadgets
AU  - Zachary DeStefano
AU  - Bufang Liang
PY  - 2025
UR  - https://arxiv.org/abs/2508.17602
ID  - 2508.17602
ER  -