@EverythingIsNonnullByDefault

Package owl.translations.ltl2dra

Contains the translation from linear temporal logic to deterministic Rabin automata described in "S19" (Bibliography.DISSERTATION_19).

The construction has been sketched before in the preceding conference publication "EKS18" (Bibliography.LICS_18).