MohammadSadegh Mohagheghi

13 papers C 1Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.
VMCAI (2)
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2025 J jnl
Using Splitter Ordering Heuristics to Improve Bisimulation in Probabilistic Model Checking.
Comput. Sci.
MohammadSadegh Mohagheghi, Khayyam Salehi
2024 J jnl
1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization.
CoRR
Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger
2024 J jnl
State ordering and classification for analyzing non-sparse large Markov models.
J. Supercomput.
MohammadSadegh Mohagheghi
2023 J jnl
Improving Probabilistic Bisimulation for MDPs Using Machine Learning.
CoRR
MohammadSadegh Mohagheghi, Khayyam Salehi
2023 J jnl
Splitter Orderings for Probabilistic Bisimulation.
CoRR
MohammadSadegh Mohagheghi, Khayyam Salehi
2022 — conf
An Automated Quantitative Information Flow Analysis for Concurrent Programs.
QEST
Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi
2022 J jnl
Improving modified policy iteration for probabilistic model checking.
Comput. Sci.
MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh
2020 C conf
Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes.
ICSOFT
MohammadSadegh Mohagheghi, Khayyam Salehi
2020 — conf
Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models.
TTCS
MohammadSadegh Mohagheghi, Behrang Chaboki
2020 — conf
Machine Learning and Disk-based Methods for Qualitative Verification of Markov Decision Processes.
ICTERI Workshops
MohammadSadegh Mohagheghi, Khayyam Salehi
2020 J jnl
Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models.
Comput. J.
MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh
2015 — conf
Improved Iterative Methods for Verifying Markov Decision Processes.
FSEN
Jaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi