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