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

Results for "quantitative model checking"


  • U

    University of California San Diego

    Meaningful Predictive Modeling

    Skills you'll gain: Model Evaluation, Predictive Modeling, Model Training, Predictive Analytics, Verification And Validation, Statistical Modeling, Model Optimization, Applied Machine Learning, Regression Analysis, Supervised Learning, Python Programming, Text Mining, Classification Algorithms, Natural Language Processing

    ★ 4.3 (49) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Illinois Urbana-Champaign

    Data Analytics Foundations for Accountancy II

    Skills you'll gain: Anomaly Detection, Feature Engineering, Data Ethics, Machine Learning Algorithms, Machine Learning Methods, Classification Algorithms, Responsible AI, Machine Learning, Statistical Machine Learning, Applied Machine Learning, Supervised Learning, Unsupervised Learning, Scikit Learn (Machine Learning Library), Model Evaluation, Model Training, Machine Learning Software, Decision Tree Learning, Model Optimization, Regression Analysis

    ★ 4.5 (11) · Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    University of Washington

    Data Science at Scale - Capstone Project

    Skills you'll gain: Feature Engineering, Model Evaluation, Data Analysis, Model Training, Predictive Modeling, Data Wrangling, Statistics, Data Science, Data Preprocessing, Predictive Analytics, Applied Machine Learning, R Programming, Data Pipelines, Python Programming

    ★ 3.8 (26) · Mixed · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    BIM Fundamentals: Smarter Building Design & Planning

    Skills you'll gain: Autodesk Revit, Building Information Modeling, Document Management, Autodesk, Construction, Engineering Documentation, Architecture and Construction, Architectural Drawing, Collaborative Software, AutoCAD, Project Coordination, Computer-Aided Design, Digital Transformation, Architectural Design, Technical Design, Construction Management, Collaboration, 3D Modeling, Data Modeling, Data Visualization

    ★ 4.2 (17) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    University of Glasgow

    Explainable deep learning models for healthcare - CDSS 3

    Skills you'll gain: Autoencoders, Model Evaluation, Deep Learning, Recurrent Neural Networks (RNNs), Applied Machine Learning, Machine Learning, Convolutional Neural Networks, Electocardiography, Artificial Neural Networks

    ★ 4.6 (15) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • S

    SkillUp

    Network Traffic Analysis with Wireshark

    Skills you'll gain: Network Monitoring, Network Security, Incident Response, Anomaly Detection, Network Analysis, Digital Forensics, Cyber Security Assessment, Network Protocols, Threat Detection, Technical Communication, Distributed Denial-Of-Service (DDoS) Attacks, Computer Security, Cybersecurity

    ★ 4.8 (17) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Illinois Urbana-Champaign

    Financial Management Capstone

    Skills you'll gain: Peer Review, Financial Management, Financial Modeling, Financial Data, Financial Statement Analysis, Financial Analysis, Financial Forecasting, Data Storytelling, Mergers & Acquisitions, Investments, Business Valuation, Case Studies, Risk Management, Corporate Strategy

    ★ 4.6 (138) · Intermediate · Course · 1 - 3 Months

    Category: Credit offered
    Credit offered
  • U

    University of Washington

    Machine Teaching for Autonomous AI

    Skills you'll gain: Decision Intelligence, Data Storytelling, Model Training, Automation, Decision Support Systems, AI Product Strategy, Artificial Intelligence, Machine Learning, Innovation, Algorithms, Analysis

    ★ 4.7 (47) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • G

    Google Cloud

    Introduction to Generative AI - Italiano

    Skills you'll gain: Generative AI, Generative Model Architectures, Google Gemini, Gemini, AI literacy, Artificial Intelligence, Large Language Modeling, Deep Learning, Machine Learning

    ★ 4.5 (20) · Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Employee Attrition Prediction Using Machine Learning

    Skills you'll gain: Data Preprocessing, Data Visualization, Logistic Regression, Feature Engineering, Statistical Visualization, Data Processing, Data Cleansing, Data Wrangling, People Analytics, Predictive Modeling, Scikit Learn (Machine Learning Library), Data Science, Applied Machine Learning, Model Training, Statistical Modeling, Regression Analysis, Supervised Learning, Machine Learning, Human Resources, Decision Tree Learning

    ★ 4.5 (15) · Beginner · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • E

    EDUCBA

    3ds Max Architectural Rendering Masterclass

    Skills you'll gain: 3D Modeling, Autodesk, 3D Assets, Design Software, Visualization (Computer Graphics), Computer Graphics, Computer Graphic Techniques, Layout Design, Editing, Functional Design, Graphical Tools, Simulations, Fine-tuning

    ★ 4.8 (69) · Beginner · Specialization · 1 - 3 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of London

    Use C++ to build a Crypto Trading Platform: Final System

    Skills you'll gain: C++ (Programming Language), C and C++, Object Oriented Programming (OOP), Object Oriented Design, Programming Principles, Program Development, Computer Programming, Data Modeling, Transaction Processing

    ★ 4.7 (27) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
1…241242243…444

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

  • Meaningful Predictive Modeling: University of California San Diego
  • Data Analytics Foundations for Accountancy II: University of Illinois Urbana-Champaign
  • Data Science at Scale - Capstone Project: University of Washington
  • BIM Fundamentals: Smarter Building Design & Planning: Coursera
  • Explainable deep learning models for healthcare - CDSS 3: University of Glasgow
  • Network Traffic Analysis with Wireshark: SkillUp
  • Financial Management Capstone: University of Illinois Urbana-Champaign
  • Machine Teaching for Autonomous AI: University of Washington
  • Introduction to Generative AI - Italiano: Google Cloud
  • Employee Attrition 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