High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications

[C277]Xiao, W., Belta, C., and Cassandras, C.G.,
High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications Proc. of 2021 American Control Conference, pp. 4874-4879, 2021.