@EverythingIsNonnullByDefault

Package owl.translations.ltl2ldba

Contains translations from linear temporal logic to limit-deterministic B├╝chi automata.

Classes containing 'Symmetric' in their name implement the translation described in "S19" (Bibliography.DISSERTATION_19). The construction has been sketched before in the preceding conference publication "EKS18" (Bibliography.LICS_18).

Classes containing 'Asymmetric' in their name implement the translation described in "SEJK16" (Bibliography.CAV_16).