Publikationer pr. år
Publikationer pr. år
Publikationer pr. år
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 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.
Reinforcement Learning
Multi-agent Systems
Game Theory
Smart Grids
Formal Methods
PhD Fellow
Department of Computer Science,
IT-University of Copenhagen, Denmark &
Digital Research Centre Denmark (DIREC)
Teaching assistant for Advance Programming
Supervisor, Institute for Advanced Studies in Basic Sciences, Zanjan
sep. 2022 → …
Publikation: Afhandlinger › Ph.d.-afhandling
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Konferenceabstrakt til konference › Forskning › peer review
Ghaffari, M. (Anmelder)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
Ghaffari, M. (Anmelder)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
Ghaffari, M. (Eksaminator)
Aktivitet: Undersøgelse - typer › Eksamination
Ghaffari, M. (Oplægsholder)
Aktivitet: Tale eller præsentation - typer › Foredrag og mundtlige bidrag
Ghaffari, M. (Anmelder)
Aktivitet: Udgivelse af peer-review og redaktionelt arbejde - typer › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
Hahyeon Kim, E. (Ophavsmand), Dyhre Nielsen, T. (Ophavsmand), Ghaffari, M. (Ophavsmand), Goorden, M. (Ophavsmand), Høeg-Petersen, A. H. (Ophavsmand), Guldstrand Larsen, K. (Ophavsmand) & Wasowski, A. (Ophavsmand), ZENODO, 14 maj 2024
DOI: 10.5281/zenodo.11191543, https://zenodo.org/records/11191543
Datasæt: Software
Hahyeon Kim, E. (Ophavsmand), Dyhre Nielsen, T. (Ophavsmand), Ghaffari, M. (Ophavsmand), Goorden, M. (Ophavsmand), Holck Høeg-Petersen, A. (Ophavsmand), Guldstrand Larsen, K. (Ophavsmand) & Wasowski, A. (Ophavsmand), ZENODO, 1 jun. 2025
DOI: 10.5281/zenodo.14288652, https://zenodo.org/records/14288652
Datasæt: Software
Varshosaz, M. (Ophavsmand), Ghaffari, M. (Ophavsmand), Johnsen, E. B. (Ophavsmand) & Wasowski, A. (Ophavsmand), ZENODO, 26 jun. 2023
DOI: 10.5281/zenodo.8083298, https://zenodo.org/record/8083298
Datasæt: Software
Hahyeon Kim, E. (Ophavsmand), Dyhre Nielsen, T. (Ophavsmand), Ghaffari, M. (Ophavsmand), Goorden, M. (Ophavsmand), Holck Høeg-Petersen, A. (Ophavsmand), Guldstrand Larsen, K. (Ophavsmand) & Wasowski, A. (Ophavsmand), ZENODO, 14 nov. 2024
DOI: 10.5281/zenodo.14160730, https://zenodo.org/records/14160730
Datasæt
Wasowski, A. (PI), Ghaffari, M. (CoI), Varshosaz, M. (CoI) & Høeg-Petersen, A. H. (CoI)
01/03/2021 → 30/09/2025
Projekter: Projekt › Forskning
Godskesen, J. C. (PI), Barkhuus, L. (PI), Bonnet, P. (PI), Brabrand, C. (PI), Schürmann, C. (PI), Sekara, V. (PI), David, B. M. (PI), Husfeldt, T. (PI), Curticapean, R.-C. (PI), Limaye, N. (PI), Aumüller, M. (PI), Jacob, R. (PI), Risi, S. (PI), Wasowski, A. (PI), Birch Okkels, C. (CoI), Berthelsen, K. H. (CoI), Larsen, M. K. (CoI), Schmidt, M. D. (CoI) & Ghaffari, M. (CoI)
01/10/2020 → 30/09/2025
Projekter: Projekt › Forskning