11 Jan
2026
11 Jan
'26
10 p.m.
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