MohammadSadegh Mohagheghi

According to our database, MohammadSadegh Mohagheghi authored at least 11 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

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

MohammadSadegh Mohagheghi

J. Supercomput., December, 2024

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

Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretínský, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger

CoRR, 2024

2023

Improving Probabilistic Bisimulation for MDPs Using Machine Learning.

MohammadSadegh Mohagheghi, Khayyam Salehi

CoRR, 2023

Splitter Orderings for Probabilistic Bisimulation.

MohammadSadegh Mohagheghi, Khayyam Salehi

CoRR, 2023

2022

Improving modified policy iteration for probabilistic model checking.

MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh

Comput. Sci., 2022

An Automated Quantitative Information Flow Analysis for Concurrent Programs.

Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2020

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

MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh

Comput. J., 2020

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

MohammadSadegh Mohagheghi, Behrang Chaboki

Proceedings of the Topics in Theoretical Computer Science, 2020

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

MohammadSadegh Mohagheghi, Khayyam Salehi

Proceedings of the 16th International Conference on ICT in Education, 2020

Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes.

MohammadSadegh Mohagheghi, Khayyam Salehi

Proceedings of the 15th International Conference on Software Technologies, 2020

2015

Improved Iterative Methods for Verifying Markov Decision Processes.

Jaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi

Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015