The following pages link to The computational complexity of avoiding spurious states in state space abstraction (Q622104):
Displaying 2 items.