PUBLICATIONS
Books
Calin Belta, Boyan Yordanov, and Ebru Aydin Gol, Formal Methods for Discrete-Time Dynamical Systems, Springer, 2017 (link)
![PastedGraphic-4](https://calinbelta.com/wp-content/uploads/2023/12/PastedGraphic-4.jpg)
Wei Xiao, Christos G. Cassandras, and Calin Belta, Safe Autonomy with Control Barrier Functions: Theory and Applications, Springer, 2023 (link)
![PastedGraphic-5](https://calinbelta.com/wp-content/uploads/2023/12/PastedGraphic-5.jpg)
Max H. Cohen, Calin Belta, Adaptive and Learning-based Control of Safety-Critical Systems, Springer, 2023 (link)