[Spot] SPOT

Alina Florina Popa /Student popa.alina at ac.tuiasi.ro
Wed Feb 27 18:24:02 CET 2019


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 

Faculty of Automatic Control and Computer Engineering

“Gheorghe Asachi” Technical University of Iasi, Romania

<http://www.ac.tuiasi.ro/>  | www.tuiasi.ro <http://www.tuiasi.ro/> 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lrde.epita.fr/pipermail/spot/attachments/20190227/ce7cd6e4/attachment.html>

More information about the Spot mailing list