Most Popular Books
- Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decision and Control)
- Safe Autonomy with Control Barrier Functions: Theory and Applications
- Adaptive and Learning-Based Control of Safety-Critical Systems
- Adaptive and Learning-Based Control of Safety-Critical Systems (Synthesis Lectures on Computer Science)
