[Spot] Multiple accepting runs for Buchi Automaton

Thakur Neupane thakur.neupane at aggiemail.usu.edu
Thu Jul 26 23:13:38 CEST 2018


I am using SPOT to work with Buchi Automaton. Does SPOT supports finding
all the accepting runs instead of only one?

Thakur Neupane
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lrde.epita.fr/pipermail/spot/attachments/20180726/07c1e202/attachment.html>

More information about the Spot mailing list