Khayyam Salehi

Orcid: 0000-0002-3379-798X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Improving Probabilistic Bisimulation for MDPs Using Machine Learning.
CoRR, 2023

Splitter Orderings for Probabilistic Bisimulation.
CoRR, 2023

2022
An Automated Quantitative Information Flow Analysis for Concurrent Programs.
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.
Proceedings of the 16th International Conference on ICT in Education, 2020

Accelerating Interval Iteration for Expected Rewards in Markov Decision Processes.
Proceedings of the 15th International Conference on Software Technologies, 2020

2019
Channel Capacity of Concurrent Probabilistic Programs.
Entropy, 2019

Secure Information Flow Analysis Using the PRISM Model Checker.
Proceedings of the Information Systems Security - 15th International Conference, 2019

2015
Improved Iterative Methods for Verifying Markov Decision Processes.
Proceedings of the Fundamentals of Software Engineering - 6th International Conference, 2015


  Loading...