Logo Logo

Thesis/Theses examined by Zamani, Majid

Number of items: 3.

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

Jahanshahi, Niloofar (2023): Formal synthesis of partially-observable cyber-physical systems. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

Tomar, Mahendra Singh (2021): Invariance feedback entropy of uncertain nonlinear control systems. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics

This list was generated on Fri Dec 1 21:53:37 2023 CET.