Antichains and compositional algorithms for LTL synthesis
scientific article; zbMATH DE number 6087619
scientific article