Thesis by Anand, Mahathi
![[up]](/style/images/multi_up.png)
Up a levelNumber of items: 1.
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