Adaptive and Learning-Based Control of Safety-Critical Systems Adaptive and Learning-Based Control of Safety-Critical Systems
٢٠٢٣
Safe Autonomy with Control Barrier Functions Safe Autonomy with Control Barrier Functions
٢٠٢٣
Formal Methods for Discrete-Time Dynamical Systems Formal Methods for Discrete-Time Dynamical Systems
٢٠١٧