9 Dec
2025
9 Dec
'25
11:02 a.m.
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