“…Specifications have become complex owing to recent advances in automated systems, and temporal logics are useful tools for their detailed descriptions [10], [11]. Linear temporal logic (LTL) formulas are typically used for logical specifications in synthesis problems [12], and numerous reactive synthesis problems for LTL specifications have been studied [13], [14], [15], [16], [17], [18], [19]. Signal temporal logic (STL) formulas can describe the dynamic properties of real-valued continuous signals [20], [21], and they have been applied to controller synthesis problems [22], [23], [24].…”