Dear Spot Team, thanks for this awesome library! We happily use this in Storm <https://stormchecker.org/>. I have a quick question: Does Spot offer any translation from LTL to LDBAs similar to the work by Sickert et al. (CAV'16) https://www7.in.tum.de/~sickert/publications/SickertEJK16.pdf ? I could not find any reference to that in the documentation. Thanks, Tim
Tim Quatmann wrote:
I have a quick question: Does Spot offer any translation from LTL to LDBAs similar to the work by Sickert et al. (CAV'16)
Hi Tim! Sorry for the delay, you message with stuck in a pile of 235 spams... No, Spot does not implement any conversion to LDBA. You may want to try Seminator (https://github.com/mklokocka/seminator/) which builds upon Spot, but make sure you compile Seminator from its git repository, as it has received several fixes since the last release. Alexandre
participants (2)
-
adl＠lrde.epita.fr -
Tim Quatmann