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).
-
Class Summary Class Description ProductState SymmetricNBAConstruction<B extends GeneralizedBuchiAcceptance>