1 Mar
2019
1 Mar
'19
10:51 a.m.
On Thu, Feb 28, 2019 at 9:06 AM Alina Florina Popa /Student
<popa.alina(a)ac.tuiasi.ro> wrote:
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?
Dear Alina,
I'm not aware of anybody using MatLab and Spot.
Best regards,
--
Alexandre Duret-Lutz