MohammadSadegh Mohagheghi

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 8

Top Topics

Policy Iteration

Machine Learning

Markov Decision Processes

Top Venues

ICTERI Workshops

Publications

MohammadSadegh Mohagheghi, Khayyam Salehi
Improving Probabilistic Bisimulation for MDPs Using Machine Learning. CoRR (2023)
MohammadSadegh Mohagheghi, Khayyam Salehi
Splitter Orderings for Probabilistic Bisimulation. CoRR (2023)
MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh
Improving modified policy iteration for probabilistic model checking. Comput. Sci. 23 (1) (2022)
Khayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi
An Automated Quantitative Information Flow Analysis for Concurrent Programs. QEST (2022)
MohammadSadegh Mohagheghi, Khayyam Salehi
Machine Learning and Disk-based Methods for Qualitative Verification of Markov Decision Processes. ICTERI Workshops (2020)
MohammadSadegh Mohagheghi, Khayyam Salehi
Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes. ICSOFT (2020)
MohammadSadegh Mohagheghi, Behrang Chaboki
Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models. TTCS (2020)
MohammadSadegh Mohagheghi, Jaber Karimpour, Ayaz Isazadeh
Prioritizing Methods to Accelerate Probabilistic Model Checking of Discrete-Time Markov Models. Comput. J. 63 (1) (2020)
Jaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi
Improved Iterative Methods for Verifying Markov Decision Processes. FSEN (2015)