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