Calin Belta

Safe Autonomy with Control Bar

Safe Autonomy with Control Barrier Functions

2024

Adaptive and Learning-Based Co

Adaptive and Learning-Based Control of Safety-Critical Systems

2023

Formal Methods for Discrete-Time Dynamical Systems

2018

HSCC'13

HSCC'13

2013