MohammadSadegh Mohagheghi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2025
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VMCAI | 1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization. | Muqsit Azeem, Debraj Chakraborty, Sudeep Kanav, Jan Kretnsk, MohammadSadegh Mohagheghi, Stefanie Mohr, Maximilian Weininger |
| 2020 | ICSoft | Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes. | MohammadSadegh Mohagheghi, Khayyam Salehi |
| 2020 | ICTERI | Machine Learning and Disk-based Methods for Qualitative Verification of Markov Decision Processes. | MohammadSadegh Mohagheghi, Khayyam Salehi |