PhD Defence by Mohsen Ghaffari
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.