-
Salomon Sickert authored
Implement all constructions described in LICS'18 (LTL -> NBA, NGBA, LDBA, LDGBA, DRA, DGRA, DPA) and remove implementation details of these constructions from the base package.
2937ccb7
29. April 2024: Due to updates GitLab may be unavailable for some minutes between 10:00 and 12:00.
Implement all constructions described in LICS'18 (LTL -> NBA, NGBA, LDBA, LDGBA, DRA, DGRA, DPA) and remove implementation details of these constructions from the base package.