Logo Logo

Thesis/Theses examined by Soudjani, Sadegh

Number of items: 2.

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

Anand, Mahathi (2023): Formal analysis of control systems via inductive approaches: tackling scalability, conservatism, and complex specifications. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

This list was generated on Sat Apr 13 22:04:24 2024 CEST.