Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.

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

Browse the full IJCAI paper archive.