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@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