Publications

Peer Reviewed Conference Proceedings

Symbolic State Seeding Improves Coverage of Reinforcement Learning, Mohsen Ghaffari, Cong Chen, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wąsowski, SEAMS, 2025
Symbolic State Partitioning for Reinforcement Learning, Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wąsowski, FASE, 2025 [ETAPS 2025 Distinguished Paper]
Using Symbolic Execution to Discretize State Spaces for Reinforcement Learning, Mohsen Ghaffari, Mahsa Varshosaz, Einar Broch Johnsen, Andrzej Wąsowski, 34th Nordic Workshop on Programming Theory (NWPT), 2023
Formal Specification and Testing for Reinforcement Learning, Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wąsowski, Proceedings of the ACM on Programming Languages (ICFP), 2023
Towards Formal Specification of Reinforcement Learning, Mahsa Varshosaz, Mohsen Ghaffari, Einar Broch Johnsen, Andrzej Wąsowski, 7th Workshop on Learning in Verification (LiVe), 2023

Learning-based systems for assessing hazard places of contagious diseases and diagnosing patient possibility, Mansoor Davoodi, Mohsen Ghaffari, Expert Systems with Applications, 2023
Shortest path problem on uncertain networks: An efficient two phases approach, Mansoor Davoodi, Mohsen Ghaffari, Computers & Industrial Engineering, 2021
Learning to shift load under uncertain production in the smart grid, Mohsen Ghaffari, Mohsen Afsharchi, International Transactions on Electrical Energy Systems, 2021