LTL reactive synthesis with a few hints
scientific article; zbMATH DE number 7827812
scientific article