8 citations · 8 across the 1 of their papers we have counts for
1 paper
Yinan Li, Zhibing Sun, Jun Liu
This paper proposes a specification-guided framework for control of nonlinear systems with linear temporal logic (LTL) specifications. In contrast with well-known abstraction-based…