Hello,
I think I found the way - aut_f.exclusive_word(aut_g)

(https://spot-sandbox.lrde.epita.fr/notebooks/examples%20(read%20only)/contains.ipynb)

Regards,
Roi

‪On Wed, 21 Oct 2020 at 14:28, ‫רועי פוגלר‬‎ <roi.fogler@gmail.com> wrote:‬

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