The top documents tagged [buchi automaton]
Discriminative Model Checking
69 views