Mohsen Ghaffari

30 January 2025, at 1 PM.

Location: Aud. 2. 

Thesis: Testing and Symbolic Analysis For Reinforcement Learning

Examination Committee:
Associate Professor Rune Møller Jensen, IT-University of Copenhagen (Chair).
Professor Nils Jansen, Ruhr-University Bochum.
Principal Scientist (CMU CyLab) Corina Pasareanu, Data Science (NASA) and CyLab (CMU).

Supervisors:
Professor Andrzej Wasowski, IT-University of Copenhagen.
Associate Professor Mahsa Varshosaz, IT- University of Copenhagen.