Hochschulschrift(en), die von Zamani, Majid begutachtet wurde(n)
![[Nach oben]](/style/images/multi_up.png)
Eine Ebene höherSalamati, Ali (2023): Machine learning and data-driven techniques for verification and synthesis of cyber-physical systems. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
Anand, Mahathi (2023): Formal analysis of control systems via inductive approaches: tackling scalability, conservatism, and complex specifications. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
Jahanshahi, Niloofar (2023): Formal synthesis of partially-observable cyber-physical systems. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
Tomar, Mahendra Singh (2021): Invariance feedback entropy of uncertain nonlinear control systems. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik