1. Principles of model checking;Baier,2008
2. Formal methods for discrete-time dynamical systems;Belta,2017
3. A trajectory-based framework for data-driven system analysis and control;Berberich;In Proc. IEEE European Cont. Conf.,2020
4. Data-driven model predictive control with stability and robustness guarantees;Berberich;IEEE Trans. on Automatic Cont.,2020
5. Breschi, V., Chiuso, A., and Formentin, S. (2023). Data-driven predictive control in a stochastic setting: A unified framework. Automatica, 110961.