@EverythingIsNonnullByDefault

Package owl.translations.nbadet

Contains the translation from non-deterministic Büchi automata to deterministic parity automata described in "LP19b" (Bibliography.ICALP_19_1) with optimisations from "LP19a" (Bibliography.ATVA_19).