Finite−trace and Generalized−Reactivity Specifications in Temporal Synthesis

Giuseppe De Giacomo‚ Antonio Di Stasio‚ Lucas M. Tabajara‚ Moshe Y. Vardi and Shufang Zhu