Khayyam Salehi

According to our database, Khayyam Salehi authored at least 8 papers between 2015 and 2023.

Collaborative distances:

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

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

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

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

2019

Channel Capacity of Concurrent Probabilistic Programs.

Khayyam Salehi, Jaber Karimpour, Habib Izadkhah, Ayaz Isazadeh

Entropy, 2019

Secure Information Flow Analysis Using the PRISM Model Checker.

Ali A. Noroozi, Khayyam Salehi, Jaber Karimpour, Ayaz Isazadeh

Proceedings of the Information Systems Security - 15th International Conference, 2019

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