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