4 works on record
Formal Methods for Discrete-Time Dynamical Systems
Safe Autonomy with Control Barrier Functions
Adaptive and Learning-Based Control of Safety-Critical Systems
HSCC'13