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