ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. - Yinan Li 001; Zhibing Sun; Jun Liu 015 (ADHS, 2021)

A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems. - Yinan Li 001; Zhibing Sun; Jun Liu 015 (IEEE Trans. Autom. Control., 2023)