Comment by eismcc

How do you manage combinatorial explosion as states increase?