18 Oct
2011
18 Oct
'11
4:38 p.m.
Hi, There seem to be at least three complementation algorithms in Spot. I have constructed an automaton as a TGBA; can all algorithms be used with it? From my reading, the kv and saba cannot, as they treat the TGBA as a states-based Bucchi automaton. Is this correct? Thanks Nikos