[Spot] SPOT

Alexandre Duret-Lutz adl at lrde.epita.fr
Fri Mar 1 10:51:33 CET 2019

On Thu, Feb 28, 2019 at 9:06 AM Alina Florina Popa /Student
<popa.alina at 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

More information about the Spot mailing list