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
2557
Age (days ago)
2557
Last active (days ago)
0 comments
1 participants
participants (1)
-
Zhen Zhang