thanks for this awesome library! We happily use this in Storm.

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