Adaptive and Learning-Based Control of Safety-Critical Systems Adaptive and Learning-Based Control of Safety-Critical Systems
2023
Safe Autonomy with Control Barrier Functions Safe Autonomy with Control Barrier Functions
2023
Formal Methods for Discrete-Time Dynamical Systems Formal Methods for Discrete-Time Dynamical Systems
2017