Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
scientific article; zbMATH DE number 7965956
scientific article