1 code implementation • 19 Nov 2019 • Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
Our approach utilizes both explicit and symbolic representations of the state-space, and effectively leverages their complementary strengths.
no code implementations • 23 May 2017 • Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
LTLf synthesis is the process of finding a strategy that satisfies a linear temporal specification over finite traces.