Safraless LTL synthesis considering maximal realizability
scientific article; zbMATH DE number 6798469
scientific article