Khayyam Salehi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2019–2020
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 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 |
| 2019 | ICISS | Secure Information Flow Analysis Using the PRISM Model Checker. | Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh |