
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