Parameterized Verification under Release Acquire is PSPACE-complete.

Shankara Narayanan Krishna Adwait Godbole Roland Meyer Soham Chakraborty

Published in: PODC (2022)

Keyphrases

pspace complete
model checking
temporal logic
np complete
exptime complete
satisfiability problem
strips planning
finite state
decision problems
planning domains
knowledge base
bayesian networks
computational complexity
context sensitive
causal graph