Parameterized Verification under Release Acquire is PSPACE-complete.

Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty

Browse the full PODC paper archive.