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

