Mohammadsadegh Mohagheghi Iran, Islamic Republic of, Rafsanjan Academic degree PhD Academic title Academician Research area formal verification machine learning Affiliation & position Vali-e-Asr University of Rafsanjan — associate professor E-mail mohagheghi@vru.ac.ir
Mohagheghi M., Khademi A. Policy based interval iteration for probabilistic model checking // System Informatics. — 2024. — # 25. — P. 39-49
