The complexity of LTL rational synthesis
scientific article; zbMATH DE number 7793087
scientific article