Logo Logo

Thesis by Anand, Mahathi

Number 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

This list was generated on Fri Dec 8 21:50:10 2023 CET.