Anahita Khademi Russian Federation, Rafsanjan Academic degree Master of Science Academic title Academician Research area artificial intelligence machine learning Affiliation & position Vali-e-Asr University of Rafsanjan — researcher E-mail a.khademi@vru.ac.ir
Mohagheghi M., Khademi A. Policy based interval iteration for probabilistic model checking // System Informatics. — 2024. — # 25. — P. 39-49
