26 Jul
2018
26 Jul
'18
11:13 p.m.
Hello,
I am using SPOT to work with Buchi Automaton. Does SPOT supports finding
all the accepting runs instead of only one?
Sincerely,
Thakur Neupane