Zhibing Sun

According to our database, Zhibing Sun authored at least 2 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

A Specification-Guided Framework for Temporal Logic Control of Nonlinear Systems.

Yinan Li, Zhibing Sun, Jun Liu

IEEE Trans. Autom. Control., 2023

2021

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

Yinan Li, Zhibing Sun, Jun Liu

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021