1. Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT press.
2. Tamer Başar and Pierre Bernhard . 1991. Performance Levels For Minimax Estimators . Birkhäuser Boston , Boston, MA , 180–193. https://doi.org/10.1007/978-1-4899-3561-8_7 10.1007/978-1-4899-3561-8_7 Tamer Başar and Pierre Bernhard. 1991. Performance Levels For Minimax Estimators. Birkhäuser Boston, Boston, MA, 180–193. https://doi.org/10.1007/978-1-4899-3561-8_7
3. Nonlinear adaptive control using neural networks and multiple models
4. Input design for discrimination between classes of LTI models
5. Sarah Dean , Horia Mania , Nikolai Matni , Benjamin Recht , and Stephen Tu. 2018. Regret bounds for robust adaptive control of the linear quadratic regulator. Advances in Neural Information Processing Systems 31 ( 2018 ). Sarah Dean, Horia Mania, Nikolai Matni, Benjamin Recht, and Stephen Tu. 2018. Regret bounds for robust adaptive control of the linear quadratic regulator. Advances in Neural Information Processing Systems 31 (2018).