Calin Belta

Calin Belta

2 books in the database

Books

Formal Methods for Discrete-Time Dynamical SystemsCalin Belta

Formal Methods for Discrete-Time Dynamical Systems

Calin Belta · 2018

HSCC'13Calin Belta

Calin Belta · 2013

Co-authored books and collections

Books that list Calin Belta among their authors but not as the lead author: co-written works, collections and compilations.

Adaptive and Learning-Based Control of Safety-Critical SystemsMax Cohen

Adaptive and Learning-Based Control of Safety-Critical Systems

Max Cohen · 2024

Safe Autonomy with Control Barrier FunctionsWei Xiao

Safe Autonomy with Control Barrier Functions

Wei Xiao · 2024