2 Aug
2018
2 Aug
'18
11:31 p.m.
Hello,
We would like to know if the emptiness checking algorithms for Buchi
automata can return all accepting runs, instead of a single one as the
tool has implemented.
Thanks,
Zhen Zhang