Open dynaryu opened 9 months ago
It can be applied by setting failure as state 0 and survival as state 1 (as we now opt for zero-based index). Please let me know if you still find it unclear.
Ah and we need to modify the system function to return the same types of outputs.
I wonder how to replicate the toy bridge problem using the gen_bnb routine. I notice that in the original toy bridge problem 3 states were defined for each arc: fail, surv, either. I wonder how to apply the gen_bnb algorithm for this case.