39 citations · 57 across the 13 of their papers we have counts for
1 paper · 1 filter
František Blahoudek, Juraj Major, Jan Strejček
Self-loop alternating automata (SLAA) with Büchi or co-Büchi acceptance are popular intermediate formalisms in translations of LTL to deterministic or nondeterministic automata. Th…