Khayyam Salehi

Publication Activity (10 Years)

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

Top Topics

Machine Learning

Information Flow

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)
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)
Khayyam Salehi, Jaber Karimpour, Habib Izadkhah, Ayaz Isazadeh
Channel Capacity of Concurrent Probabilistic Programs. Entropy 21 (9) (2019)
Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh
Secure Information Flow Analysis Using the PRISM Model Checker. ICISS (2019)
Jaber Karimpour, Ayaz Isazadeh, MohammadSadegh Mohagheghi, Khayyam Salehi
Improved Iterative Methods for Verifying Markov Decision Processes. FSEN (2015)