Mohsen Ghaffari

Registered user since Mon 27 Feb 2023

Name:Mohsen Ghaffari

I am a PhD student in Computer Science at the SQUARE group. I have worked on Demand Management in Smart Grids, Shortest Path on Uncertain Networks, Hazard Detector and Healthy Predictor Systems, and Police Patrolling. To this end, I have developed approaches using Multi-Agent reinforcement Learning, Hidden Markov Models, and Game Theory. Recently, I have been interested in the reliability, safety and explainability of Reinforcement Learning. For this reason, I am trying to apply Formal Verification tools, such as Symbolic Execution, in Reinforcement Learning. Right now, I am working on symbolic reinforcement learning.

Affiliation:IT University of Copenhagen
Research interests:Reinforcement Learning, Formal Methods, Game Theory, Multi-agent Systems