- Probability Distribution
- Systems Analysis
- Probability
- Statistical Modeling
- Markov Model
- Verification And Validation
- Computational Logic
- Algorithms
- Theoretical Computer Science
- Mathematical Modeling
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
