Shortest path problem on uncertain networks: An efficient two phases approach. - Mansoor Davoodi; Mohsen Ghaffari 002 (Comput. Ind. Eng., 2021)

Data publication: Learning-based systems for assessing hazard places of contagious diseases and diagnosing patient possibility. - Mansoor Davoodi Monfared; Mohsen Ghaffari 002 (RODARE, 2022)

Learning-based systems for assessing hazard places of contagious diseases and diagnosing patient possibility. - Mansoor Davoodi; Mohsen Ghaffari 002 (Expert Syst. Appl., 2023)

Formal Specification and Testing for Reinforcement Learning (Supplementary Material ). - Mahsa Varshosaz; Mohsen Ghaffari 002; Einar Broch Johnsen; Andrzej Wasowski (Zenodo, 2023)

Formal Specification and Testing for Reinforcement Learning. - Mahsa Varshosaz; Mohsen Ghaffari 002; Einar Broch Johnsen; Andrzej Wasowski (Proc. ACM Program. Lang., 2023)

Symbolic State Partition for Reinforcement Learning. - Mohsen Ghaffari 002; Mahsa Varshosaz; Einar Broch Johnsen; Andrzej Wasowski (CoRR, 2024)

Symbolic State Partitioning for Reinforcement Learning. - Mohsen Ghaffari 002; Mahsa Varshosaz; Einar Broch Johnsen; Andrzej Wasowski (FASE, 2025)

Symbolic State Seeding Improves Coverage of Reinforcement Learning. - Mohsen Ghaffari 002; Cong Chen; Mahsa Varshosaz; Einar Broch Johnsen; Andrzej Wasowski (SEAMS@ICSE, 2025)