[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