The computational complexity of avoiding spurious states in state space abstraction

From MaRDI portal
Publication:622104