ltlcross -D should allow setting a limit to the size of the deterministic automaton
I'd like to use for example
ltlcross -D1000 and not have
ltlcross waste to much time determinizing automata that will become too large, especially since those deterministic automata will be ultimately passed through
This would require
tgba_determinize() to accept an upper-bound on the number of states it can generate, and return
nullptr when that is reached.