scholarly journals ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems

2021 ◽  
Vol 54 (5) ◽  
pp. 31-36
Author(s):  
Yinan Li ◽  
Zhibing Sun ◽  
Jun Liu
Sign in / Sign up

Export Citation Format

Share Document