Research output per year
Research output per year
Personal profile
Curriculum
I am a postdoctoral researcher in Computer Science with a strong interest in decision-making under uncertainty for multi-agent systems. I leverage software analysis techniques to enhance the reliability, safety, and explainability of reinforcement learning. I am passionate about both the theoretical foundations of reinforcement learning and its practical applications in dynamic and complex real-world environments.
Research areas
Reinforcement Learning
Multi-agent Systems
Game Theory
Smart Grids
Formal Methods
Current position
PostDoc
Department of Computer Science,
IT-University of Copenhagen, Denmark &
Digital Research Centre Denmark (DIREC)
Research and teaching information
Teaching assistant for Advance Programming
External positions
Supervisor, Institute for Advanced Studies in Basic Sciences
Sept 2022 → …
Keywords
- Multi-agent systems
- Smart grids
- Game theory
- Machine learning
- Algorithm design
Fingerprint
Dive into the research topics where Mohsen Ghaffari is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Testing and Symbolic Analysis For Reinforcement Learning
Ghaffari, M., 2025, IT-Universitetet i København. 192 p.Research output: Theses › PhD thesis
File -
Formal Specification and Testing for Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023, In: Proceedings of the ACM on Programming Languages. 7, Issue ICFP, p. 125-158 33 p., 193.Research output: Journal Article or Conference Article in Journal › Journal article › Research
Open AccessFile -
Learning-based systems for assessing hazard places of contagious diseases and diagnosing patient possibility
Davoodi Monfared, M. & Ghaffari, M., 2023, In: Expert Systems With Applications. 213, Part B, 119043.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Towards Formal Specification of Reinforcement Learning
Varshosaz, M., Ghaffari, M., Broch Johnsen, E. & Wasowski, A., 2023.Research output: Contribution to conference - NOT published in proceeding or journal › Conference abstract for conference › Research › peer-review
-
Applied Soft Computing (Journal)
Ghaffari, M. (Reviewer)
2022 → …Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
-
Efficient Discrete reinforcement Learning (MSc research project)
Ghaffari, M. (Examiner)
2024Activity: Examination types › Examination
-
Expert Systems With Applications (Journal)
Ghaffari, M. (Reviewer)
2022 → …Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
-
Formal Specification and Testing for Reinforcement Learning
Ghaffari, M. (Speaker)
2023Activity: Talk or presentation types › Lecture and oral contribution
-
Information Science (Journal)
Ghaffari, M. (Reviewer)
2021 → …Activity: Publication peer-review and editorial work types › Peer review of manuscripts › Research
Datasets
-
MPC combined Reinforcement Learning for minimizing CSO: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Holck Høeg-Petersen, A. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 14 Nov 2024
DOI: 10.5281/zenodo.14160730, https://zenodo.org/records/14160730
Dataset
-
Minimizing Combined Sewer Overflows with Online Model-Predictive Reinforcement Learning: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Holck Høeg-Petersen, A. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 1 Jun 2025
DOI: 10.5281/zenodo.14288652, https://zenodo.org/records/14288652
Dataset: Software
-
Formal Specification and Testing for Reinforcement Learning (Supplementary Material )
Varshosaz, M. (Creator), Ghaffari, M. (Creator), Johnsen, E. B. (Creator) & Wasowski, A. (Creator), ZENODO, 26 Jun 2023
DOI: 10.5281/zenodo.8083298, https://zenodo.org/record/8083298
Dataset: Software
-
MPC combined Reinforcement Learning for minimizing CSO: A Case Study of the Stormwater Tunnel in Denmark
Hahyeon Kim, E. (Creator), Dyhre Nielsen, T. (Creator), Ghaffari, M. (Creator), Goorden, M. (Creator), Høeg-Petersen, A. H. (Creator), Guldstrand Larsen, K. (Creator) & Wasowski, A. (Creator), ZENODO, 14 May 2024
DOI: 10.5281/zenodo.11191543, https://zenodo.org/records/11191543
Dataset: Software
Projects
- 2 Active
-
DIREC: Verifiable and Safe AI for Autonomous Systems
Wasowski, A. (PI), Ghaffari, M. (CoI), Varshosaz, M. (CoI) & Høeg-Petersen, A. H. (CoI)
01/03/2021 → 30/09/2025
Project: Research
-
DIREC: Digital Research Centre Denmark
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
Project: Research