Improved Iterative Methods for Verifying Markov Decision Processes. - Jaber Karimpour; Ayaz Isazadeh; MohammadSadegh Mohagheghi; Khayyam Salehi (FSEN, 2015)

Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes. - MohammadSadegh Mohagheghi; Khayyam Salehi (ICSOFT, 2020)

Machine Learning and Disk-based Methods for Qualitative Verification of Markov Decision Processes. - MohammadSadegh Mohagheghi; Khayyam Salehi (ICTERI Workshops, 2020)

Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models. - MohammadSadegh Mohagheghi; Behrang Chaboki (TTCS, 2020)

Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models. - MohammadSadegh Mohagheghi; Jaber Karimpour; Ayaz Isazadeh (Comput. J., 2020)

An Automated Quantitative Information Flow Analysis for Concurrent Programs. - Khayyam Salehi; Ali A. Noroozi; Sepehr Amir-Mohammadian; MohammadSadegh Mohagheghi (QEST, 2022)

Improving modified policy iteration for probabilistic model checking. - MohammadSadegh Mohagheghi; Jaber Karimpour; Ayaz Isazadeh (Comput. Sci., 2022)

Splitter Orderings for Probabilistic Bisimulation. - MohammadSadegh Mohagheghi; Khayyam Salehi (CoRR, 2023)

Improving Probabilistic Bisimulation for MDPs Using Machine Learning. - MohammadSadegh Mohagheghi; Khayyam Salehi (CoRR, 2023)

State ordering and classification for analyzing non-sparse large Markov models. - MohammadSadegh Mohagheghi (J. Supercomput., 2024)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization. - Muqsit Azeem; Debraj Chakraborty 002; Sudeep Kanav; Jan Kretínský; MohammadSadegh Mohagheghi; Stefanie Mohr; Maximilian Weininger (VMCAI (2), 2025)