- Probability Distribution
- Markov Model
- Algorithms
- Verification And Validation
- Systems Analysis
- Statistical Modeling
- Probability
- Mathematical Modeling
- Theoretical Computer Science
- Computational Logic
Quantitative Model Checking
Completed by SURAJ KUMAR
May 4, 2020
13 hours (approximately)
SURAJ KUMAR's account is verified. Coursera certifies their successful completion of Quantitative Model Checking
Skills you will gain
