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