@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).

Class Summary

Class	Description
NormalformDRAConstruction<R extends GeneralizedRabinAcceptance>
SymbolicNormalformDRAConstruction
SymmetricDRAConstruction<R extends GeneralizedRabinAcceptance>	Implements the construction of Bibliography.LICS_18.
SymmetricRankingState