• 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
    Free
    J

    Johns Hopkins University

    Family Spirit Nurture

    Skills you'll gain: Infant Care, Child Health, Nutrition Education, Maternal Health, Motivational Interviewing, Nutrition and Diet, Patient Education And Counseling, Caregiving, Mental Health, Family Support, Stress Management, Cultural Responsiveness, Cultural Sensitivity

    4.8
    Rating, 4.8 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Python for Data Science: Real Projects & Analytics

    Skills you'll gain: Descriptive Statistics, Model Evaluation, Feature Engineering, Probability & Statistics, Supervised Learning, Statistical Hypothesis Testing, Exploratory Data Analysis, Box Plots, Regression Analysis, Statistics, Predictive Modeling, Time Series Analysis and Forecasting, Data Science, Histogram, Data Visualization, Statistical Analysis, Integrated Development Environments, Computer Networking, Python Programming, Server Side

    4.5
    Rating, 4.5 out of 5 stars
    ·
    32 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free
    Free
    M

    Microsoft

    Develop Clustering Models with Azure ML Designer

    Skills you'll gain: Microsoft Azure, Unsupervised Learning, Applied Machine Learning, Predictive Analytics, Model Deployment, Data Transformation, Model Evaluation, Exploratory Data Analysis, Data Processing, Machine Learning Algorithms, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Cloud Computing, User Accounts

    4.9
    Rating, 4.9 out of 5 stars
    ·
    11 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    L

    LearnKartS

    AWS Certified Data Engineer Associate Exam Prep

    Skills you'll gain: AWS Kinesis, AWS SageMaker, Cloud Engineering, Data Quality, Docker (Software), Data Pipelines, AWS Identity and Access Management (IAM), Data Security, Databases, Version Control, Apache Spark, Data Modeling, Cloud Security, Cloud Storage, Network Security, Kubernetes, Git (Version Control System), Data Management, AWS CloudFormation, Data Processing

    4.3
    Rating, 4.3 out of 5 stars
    ·
    8 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    K

    KodeKloud

    Introduction to OpenAI

    Skills you'll gain: Prompt Engineering, OpenAI, OpenAI API, Responsible AI, Multimodal Prompts, AI Enablement, ChatGPT, Data Ethics, Artificial Intelligence, Generative AI, Tool Calling, AI Workflows, LLM Application, Image Analysis, Large Language Modeling, Natural Language Processing, Vision Transformer (ViT), Embeddings, Computer Vision, Reinforcement Learning

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Master Advanced Excel Functions to Analyze & Automate Data

    Skills you'll gain: Microsoft Excel, Excel Formulas, Pivot Tables And Charts, Spreadsheet Software, Data Analysis Expressions (DAX), Financial Forecasting, Financial Modeling, Financial Analysis, Business Analysis, Data-Driven Decision-Making, Data Manipulation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    13 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    É

    École Polytechnique Fédérale de Lausanne

    Big Data Analysis with Scala and Spark (Scala 2 version)

    Skills you'll gain: Apache Spark, Scala Programming, Big Data, Data Manipulation, Distributed Computing, Data Processing, Performance Tuning, SQL, Data Persistence, Data Analysis, Programming Principles

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    Harnessing Ollama – Create Local LLMs with Python

    Skills you'll gain: LLM Application, Tool Calling, Large Language Modeling, Retrieval-Augmented Generation, Command-Line Interface, Embeddings, Python Programming, Application Development, Vector Databases, User Interface (UI), Software Installation, Restful API, Development Environment

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    E

    Erasmus University Rotterdam

    Necessary Condition Analysis (NCA)

    Skills you'll gain: Analysis, Data Analysis, Statistical Reporting, Analytical Skills, Exploratory Data Analysis, Quantitative Research, Statistical Analysis, Statistical Software, Small Data, R (Software), R Programming, Sampling (Statistics), Technical Communication, Research Methodologies, Scatter Plots, Statistical Hypothesis Testing, Data Collection

    4.9
    Rating, 4.9 out of 5 stars
    ·
    28 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Titanic Survival Prediction Using Machine Learning

    Skills you'll gain: Feature Engineering, Data Cleansing, Data Visualization, Data Preprocessing, Logistic Regression, Predictive Modeling, Applied Machine Learning, Supervised Learning, Scikit Learn (Machine Learning Library), Machine Learning, Model Evaluation, Classification Algorithms, Data Science, Python Programming

    4.8
    Rating, 4.8 out of 5 stars
    ·
    19 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    AI Driven Machine Learning with Python

    Skills you'll gain: Model Evaluation, Classification Algorithms, Regression Analysis, Matplotlib, Feature Engineering, Time Series Analysis and Forecasting, Data Preprocessing, Jupyter, Image Analysis, Cloud Deployment, Scikit Learn (Machine Learning Library), Applied Machine Learning, Tensorflow, Amazon Web Services, Python Programming, Data Transformation, Logistic Regression, Machine Learning Methods, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML)

    4.8
    Rating, 4.8 out of 5 stars
    ·
    13 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    U

    Universidad de Palermo

    Inteligencia Artificial Aplicada a la Construcción

    Skills you'll gain: Civil Engineering, Sustainable Architecture, Building Design, Innovation, Sustainable Design, Structural Engineering, Robotics, 3D Modeling

    Beginner · Course · 1 - 4 Weeks

1…259260261…406

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

  • Family Spirit Nurture: Johns Hopkins University
  • Python for Data Science: Real Projects & Analytics: EDUCBA
  • Develop Clustering Models with Azure ML Designer: Microsoft
  • AWS Certified Data Engineer Associate Exam Prep: LearnKartS
  • Introduction to OpenAI: KodeKloud
  • Master Advanced Excel Functions to Analyze & Automate Data: EDUCBA
  • Big Data Analysis with Scala and Spark (Scala 2 version): École Polytechnique Fédérale de Lausanne
  • Harnessing Ollama – Create Local LLMs with Python: Packt
  • Necessary Condition Analysis (NCA): Erasmus University Rotterdam
  • Titanic Survival Prediction Using Machine Learning: Coursera

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