PhD Defence by Mohsen Ghaffari at 1PM in room: 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.