@EverythingIsNonnullByDefault

Package owl.translations.ltl2nba

Contains the translation from linear temporal logic to nondeterministic Büchi automata described in "S19" (Bibliography.DISSERTATION_19).

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