ByNobleID
    Constrained Synchronization and Subset Synchronization Problems for\n Weakly Acyclic Automata | NobleID