Formal Methods for Discrete-Time Dynamical Systems More Books by Calin Belta, Boyan Yordanov & Ebru Aydin Gol

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