Title: Computational aspects of state-space