Here are some of the more commonly known problems that are PSPACE-complete when expressed as decision problems. This list is in no way comprehensive.
Generalized versions of:
Type inhabitation problem for simply typed lambda calculus
Integer circuit evaluation[24]