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]