Adaptive and Learning-Based Control of Safety-Critical SystemsMax Cohen, Calin Belta · First published 2023Open the Tome
Safe Autonomy with Control Barrier FunctionsWei Xiao, Calin Belta, Christos G. Cassandras · First published 2023Open the Tome
Formal Methods for Discrete-Time Dynamical SystemsCalin Belta, Boyan Yordanov, Ebru Aydin Gol · First published 2017Open the Tome