optimization: compositional approach #67
Description
It is funny: while perfectly fine, I never considered configs that sit in R1,L2,L3 and also L. The strategy suggests to play "l" here, which is safe, but these configs with >0 tokens on all these states incl L, are not reachable.
yes the stratégy is the maximal one, there is no computation of the "reachable symbolic configurations" for now, but that would be an interested feature for a compositional approach, i.e. concatenating strategies, that could help us fight the exponential barrier by decomposing into smaller, simpler, problems.