Hello, I am trying to convert a LTL formula to Buchi automata in MATLAB. I want to know if you have any script or library that can help me do this? Thank you and best regards, Alina Popa -- Fourth-year Student | Automatic Control and Applied Informatics | Systems Engineering Faculty of Automatic Control and Computer Engineering “Gheorghe Asachi” Technical University of Iasi, Romania www.ac.tuiasi.ro <http://www.ac.tuiasi.ro/>  | www.tuiasi.ro <http://www.tuiasi.ro/>