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]
{{cite book}}
: CS1 maint: location missing publisher (link)