Jahanshahi, Niloofar (2023): Formal synthesis of partially-observable cyber-physical systems. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik