Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

2 results
Keywords : probabilistic model checking
Page :
sorted by
Image document

Improved Iterative Methods for Verifying Markov Decision Processes

 Jaber Karimpour , Ayaz Isazadeh , Mohammadsadegh Mohagheghi , Khayyam Salehi
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.207-214, ⟨10.1007/978-3-319-24644-4_14⟩
Conference papers hal-01446601v1
Image document

Dirac-Based Reduction Techniques for Quantitative Analysis of Discrete-Time Markov Models

 Mohammadsadegh Mohagheghi , Behrang Chaboki
3rd International Conference on Topics in Theoretical Computer Science (TTCS), Jul 2020, Tehran, Iran. pp.1-16, ⟨10.1007/978-3-030-57852-7_1⟩
Conference papers hal-03165383v1
Page :