Rush Hour is PSPACE-complete
Limits of Rush Hour Logic Complexity