Control Barrier Functions for Nonholonomic Systems under Risk Signal Temporal Logic Specifications

Lars Lindemann, George J. Pappas, Dimos V. Dimarogonas

Temporal logics provide a formalism for expressing complex system specifications. A large body of literature has addressed the verification and the control synthesis problem for de…