27 Feb
2019
27 Feb
'19
6:24 p.m.
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
www.ac.tuiasi.ro
http://www.ac.tuiasi.ro/ | www.tuiasi.ro http://www.tuiasi.ro/
1 Mar
1 Mar
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
2347
Age (days ago)
2349
Last active (days ago)
1 comments
2 participants
participants (2)
-
Alexandre Duret-Lutz -
Alina Florina Popa /Student