Author

Mohammadsadegh Mohagheghi

Observed names: M.S. Mohagheghi, Mohagheghi, Mohammadsadegh, MohammadSadegh Mohagheghi

Institution: Vali Asr University of Rafsanjan

Observed institutions: Shahrekord University, Vali Asr University of Rafsanjan, University of Tabriz

ORCID: 0000-0001-8059-3691

Observed ORCID: 0000-0001-8059-3691

OpenAlex ID: A5001279290

1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization

2025 · Muqsit Azeem, Debraj Chakraborty, et al. · Lecture notes in computer science · 4

PDF

Improving Graph-based methods for computing qualitative properties of markov decision processes

2020 · Mohammadsadegh Mohagheghi, Khayyam Salehi · Indonesian Journal of Electrical Engineering and Computer Science · 4

PDF

Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models

2019 · Mohammadsadegh Mohagheghi, Jaber Karimpour, et al. · The Computer Journal · 4

An Automated Quantitative Information Flow Analysis for Concurrent Programs

2022 · Khayyam Salehi, Ali A. Noroozi, et al. · Lecture notes in computer science · 3

Improving modified policy iteration for probabilistic model checking

2022 · Mohammadsadegh Mohagheghi, Jaber Karimpour · Computer Science · 2

PDF

Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes

2020 · Mohammadsadegh Mohagheghi, Khayyam Salehi · International Conference on Software Technologies (ICSOFT) · 2

Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models

2020 · Mohammadsadegh Mohagheghi, Behrang Chaboki · Lecture notes in computer science · 1

Improved Iterative Methods for Verifying Markov Decision Processes

2015 · Jaber Karimpour, Ayaz Isazadeh, et al. · Lecture notes in computer science · 1

Learning Methods for Statistical Model Checking of DTMC

2026 · Mohammadsadegh Mohagheghi, Khayyam Salehi · Informatica

PDF

Sound Policy Iteration

2025 · Mohammadsadegh Mohagheghi, Anahita Khademi · Research Square

PDF

Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking

2025 · Mohammadsadegh Mohagheghi, Khayyam Salehi · Computer Science

PDF

Time Table Scheduling for Single Track Railways by Probabilistic Model Checking and Genetic Algorithms

2025 · Mohammadsadegh Mohagheghi · International Journal of Intelligent Transportation Systems Research

State ordering and classification for analyzing non-sparse large Markov models

2024 · Mohammadsadegh Mohagheghi · The Journal of Supercomputing

PDF

Splitter Orderings for Probabilistic Bisimulation

2023 · Mohagheghi, Mohammadsadegh, Salehi, Khayyam · arXiv (Cornell University)

PDF

Machine Learning and Disk-based Methods for Qualitative Verification of Markov Decision Processes

2020 · Mohammadsadegh Mohagheghi, Khayyam Salehi · International Conference on ICT in Education, Research and Industrial Applications (ICTERI)

PDF

A Railway Scheduling Method using Probabilistic Model Checking

2019 · Mohammadsadegh Mohagheghi, Anahita Khademi · International Journal of Engineering and Advanced Technology

Faster Convergence of Modified Policy Iteration for Quantitative Verification of Markov Decision Processes

2018 · M.S. Mohagheghi · DOAJ (DOAJ: Directory of Open Access Journals)

Time-Abstracting Bisimulation for Markovian Timed Automata

2016 · MohammadSadegh Mohagheghi, Hojjat Sharifi · International Journal of Software Engineering & Applications

PDF

Works count: 20

Citation count: 22

H-index: 3

I10-index: