Hello,

When my input is a word (string such as 'p1 & !p2; cycle{p2}') and spot automata,

(e.g.

f = spot.formula("p1 U p2")

aut = spot.translate(f, 'low')

)
is it possible to check if the word exists in automata?

Regards,
Roi