Calin BeltaBooksAdaptive and Learning-Based Control of Safety-Critical SystemsHSCC'13Formal Methods for Discrete-Time Dynamical SystemsSafe Autonomy with Control Barrier FunctionsAuthor data: Open Library