• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Quantitative Model Checking

Results for "quantitative model checking"


  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Introduction to TensorFlow for Artificial Intelligence, Machine Learning, and Deep Learning

    Skills you'll gain: Tensorflow, Computer Vision, Model Evaluation, Image Analysis, Convolutional Neural Networks, Keras (Neural Network Library), Deep Learning, Artificial Neural Networks, Artificial Intelligence, Data Preprocessing, Machine Learning

    4.8
    Rating, 4.8 out of 5 stars
    ·
    20K reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Machine Learning on Google Cloud

    Skills you'll gain: Feature Engineering, Generative AI, Model Deployment, Tensorflow, Google Cloud Platform, Keras (Neural Network Library), Machine Learning, Data Preprocessing, MLOps (Machine Learning Operations), Model Evaluation, Applied Machine Learning, Data Cleansing, Data Quality, AI Enablement, Prompt Engineering, Cloud Deployment, Supervised Learning, Scikit Learn (Machine Learning Library), AI Workflows, Cloud Computing

    4.4
    Rating, 4.4 out of 5 stars
    ·
    3.8K reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Python 3 Programming

    Skills you'll gain: Unified Modeling Language, JSON, Object Oriented Programming (OOP), File I/O, Software Design, Debugging, Object Oriented Design, Data Processing, Web Scraping, Unit Testing, Programming Principles, Program Development, Python Programming, Data Import/Export, Restful API, Image Analysis, Data Manipulation, Jupyter, Computer Programming, Data Structures

    4.8
    Rating, 4.8 out of 5 stars
    ·
    23K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Preview
    Preview
    E

    Edureka

    Getting Started with Automated Machine Learning (AutoML)

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Automation, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Methods, No-Code Development, Data Preprocessing, Scikit Learn (Machine Learning Library), Machine Learning, Model Evaluation, Applied Machine Learning, Predictive Modeling, Feature Engineering, Data-Driven Decision-Making, Machine Learning Algorithms, Artificial Intelligence, Scalability, Performance Tuning, Performance Metric

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    P

    Pragmatic AI Labs

    GitHub: Evaluating and Integrating AI Models

    Skills you'll gain: Responsible AI, Model Evaluation, GitHub, Application Programming Interface (API), AI Enablement, Generative AI, Development Environment, API Design, LLM Application, Cloud Development, Microsoft Azure, Scalability, Authentications, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Eyes on AI - Computer Vision Engineering

    Skills you'll gain: Model Evaluation, Transfer Learning, PyTorch (Machine Learning Library), Model Deployment, Data Preprocessing, Technical Communication, MLOps (Machine Learning Operations), Image Analysis, Computer Vision, AI Workflows, Convolutional Neural Networks, Verification And Validation, Tensorflow, Dataflow, Performance Tuning, Performance Metric, Data Analysis, Deep Learning, Exploratory Data Analysis, Process Optimization

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Statistical and Predictive Modeling for Finance

    Skills you'll gain: Descriptive Statistics, Financial Data, Regression Analysis, Statistical Modeling, Financial Analysis, Decision Tree Learning, Credit Risk, Predictive Modeling, Portfolio Management, Statistics, Portfolio Risk, Statistical Analysis, Statistical Methods, Model Evaluation, Supervised Learning

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    Status: AI skills
    AI skills
    A

    Amazon Web Services

    AWS Cloud Technical Essentials

    Skills you'll gain: AWS Identity and Access Management (IAM), Amazon CloudWatch, Amazon DynamoDB, Amazon Web Services, Cloud Computing, Amazon S3, Scalability, Cloud Infrastructure, Amazon Elastic Compute Cloud, Cloud Security, Cloud Computing Architecture, Serverless Computing, Cloud Storage, Databases, Virtual Networking, General Networking, Containerization

    4.8
    Rating, 4.8 out of 5 stars
    ·
    6.3K reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google

    Connect and Protect: Networks and Network Security

    Skills you'll gain: Network Security, Hardening, Network Protocols, Cloud Security, Network Architecture, Intrusion Detection and Prevention, TCP/IP, Vulnerability Assessments, Computer Networking, Cybersecurity, Network Infrastructure, Firewall, Cloud Computing, Virtual Private Networks (VPN), Encryption

    4.8
    Rating, 4.8 out of 5 stars
    ·
    7.2K reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Stanford University

    Probabilistic Graphical Models

    Skills you'll gain: Bayesian Network, Applied Machine Learning, Graph Theory, Machine Learning Algorithms, Probability Distribution, Network Model, Bayesian Statistics, Statistical Modeling, Markov Model, Decision Support Systems, Machine Learning, Probability & Statistics, Network Analysis, Machine Learning Methods, Statistical Inference, Sampling (Statistics), Statistical Methods, Algorithms, Model Evaluation, Computational Thinking

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.5K reviews

    Advanced · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    B

    Board Infinity

    Apply AI & Machine Learning to Financial Forecasting

    Skills you'll gain: Financial Forecasting, Feature Engineering, Model Evaluation, Applied Machine Learning, Forecasting, Machine Learning, Predictive Modeling, Financial Modeling, Generative AI, Time Series Analysis and Forecasting, Regression Analysis, Data Preprocessing, Credit Risk, Portfolio Management

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    P

    Packt

    Segment Routing in MPLS Networks

    Skills you'll gain: Multiprotocol Label Switching, Routing Protocols, Network Routing, Network Troubleshooting, Network Performance Management, Network Routers, Network Infrastructure, Network Planning And Design, Computer Networking, Network Protocols, Network Engineering, Network Model, Telecommunications, Verification And Validation

    Intermediate · Course · 3 - 6 Months

1…293031…407

In summary, here are 10 of our most popular quantitative model checking courses

  • Introduction to TensorFlow for Artificial Intelligence, Machine Learning, and Deep Learning: DeepLearning.AI
  • Machine Learning on Google Cloud: Google Cloud
  • Python 3 Programming: University of Michigan
  • Getting Started with Automated Machine Learning (AutoML): Edureka
  • GitHub: Evaluating and Integrating AI Models: Pragmatic AI Labs
  • Eyes on AI - Computer Vision Engineering: Coursera
  • Statistical and Predictive Modeling for Finance : Coursera
  • AWS Cloud Technical Essentials: Amazon Web Services
  • Connect and Protect: Networks and Network Security: Google
  • Probabilistic Graphical Models: Stanford University

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Share your Coursera learning story

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok