Is there a discussion about the computational complexity of reachability analysis?

Question

Several papers have argued for the computational complexity of reachability analysis.

• https://arxiv.org/abs/1709.07523
• https://escholarship.org/uc/item/8m7