Hochschulschrift(en), die von Soudjani, Sadegh begutachtet wurde(n)

Salamati, 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