17 citations · 50 across the 11 of their papers we have counts for
1 paper · 1 filter
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…