20 Oct
2020
20 Oct
'20
10:18 a.m.
Hi Roi,
On Tue, Oct 20, 2020 at 10:08 AM רועי פוגלר <roi.fogler(a)gmail.com> wrote:
I'm trying to use the spot tool (python version)
and I'm trying to figure out how to build spot-automata (spot.twa_graph object) type
when my input is the edges, states and accepting states.
can you help me please with that?
It seems this is what https://spot.lrde.epita.fr/tut22.html#sba is
demonstrating?
In addition, is there an example of Angluin
implementation using Spot?
Not that I know of.
Best regards,
--
Alexandre Duret-Lutz