Thesis by Salamati, Ali
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 1.
Salamati, Ali (2023): Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics