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

Results for "quantitative model checking"


  • I

    IBM

    IBM Hybrid Cloud Architect

    Skills you'll gain: Cloud-Native Computing, Infrastructure as Code (IaC), Cloud Security, Cloud Storage, Hybrid Cloud Computing, Systems Analysis, Process Improvement, Cloud Engineering, Cloud Computing, Cloud Solutions, Cloud Development, Requirements Analysis, Data Modeling, Multi-Cloud, DevOps, Docker (Software), Solution Design, Microservices, Infrastructure As A Service (IaaS), Information Technology

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

    Intermediate · Professional Certificate · 3 - 6 Months

  • P

    Packt

    Machine Learning Foundations

    Skills you'll gain: Model Evaluation, Unsupervised Learning, Dimensionality Reduction, Data Preprocessing, Python Programming, Recurrent Neural Networks (RNNs), Reinforcement Learning

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of California, Davis

    Geographic Information Systems (GIS)

    Skills you'll gain: ArcGIS, GIS Software, Spatial Analysis, Data Storytelling, Spatial Data Analysis, Geographic Information Systems, Data Presentation, Geospatial Information and Technology, Geospatial Mapping, Public Health and Disease Prevention, Data Sharing, Public Health, Land Management, Heat Maps, Epidemiology, Community Health, Image Analysis, Project Management, Data Visualization Software, Data Quality

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

    Beginner · Specialization · 3 - 6 Months

  • D

    DeepLearning.AI

    Natural Language Processing

    Skills you'll gain: Natural Language Processing, Supervised Learning, Transfer Learning, Recurrent Neural Networks (RNNs), Markov Model, Embeddings, Text Mining, Dimensionality Reduction, Machine Learning Methods, Statistical Machine Learning, Artificial Neural Networks, Classification Algorithms, Data Preprocessing, PyTorch (Machine Learning Library), Deep Learning, Tensorflow, Feature Engineering, Applied Machine Learning, Algorithms, Keras (Neural Network Library)

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

    Intermediate · Specialization · 3 - 6 Months

  • U

    University of Michigan

    Web Applications for Everybody

    Skills you'll gain: Database Design, SQL, MySQL, PHP (Scripting Language), Relational Databases, JSON, jQuery, Hypertext Markup Language (HTML), Javascript and jQuery, Ajax, Databases, Data Modeling, Database Application, Database Development, Debugging, Web Applications, Object Oriented Programming (OOP), Web Development, Secure Coding, Javascript

    4.7
    Rating, 4.7 out of 5 stars
    ·
    9.3K reviews

    Intermediate · Specialization · 3 - 6 Months

  • 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

  • S

    Stanford University

    AI in Healthcare

    Skills you'll gain: Feature Engineering, Healthcare Ethics, Pharmaceuticals, Data Ethics, Clinical Research, Clinical Data Management, Health Systems, Healthcare Industry Knowledge, Clinical Research Ethics, Unstructured Data, Health Care, Model Deployment, Health Informatics, Data Mining, Managed Care, Model Evaluation, Responsible AI, Applied Machine Learning, Machine Learning, Artificial Intelligence

    4.7
    Rating, 4.7 out of 5 stars
    ·
    2.5K reviews

    Beginner · Specialization · 3 - 6 Months

  • U

    University of Pennsylvania

    Introduction to Corporate Finance

    Skills you'll gain: Return On Investment, Capital Budgeting, Finance, Capital Expenditure, Forecasting, Cash Flow Forecasting, Financial Modeling, Financial Analysis, Cost Benefit Analysis, Financial Management, Financial Acumen, Corporate Finance, Business Valuation, Cash Flows, Risk Analysis, Depreciation, Loans, Working Capital

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

    Mixed · Course · 1 - 4 Weeks

  • C

    Coursera

    Improve Data Quality and Automate Errors

    Skills you'll gain: Data Quality, Data Management, Quality Assurance, Stored Procedure, Data Cleansing, Data Integrity, Quality Improvement, Quality Assessment, Data Validation, Data Pipelines, Key Performance Indicators (KPIs), SQL, Data Processing, Extract, Transform, Load, Performance Analysis, Anomaly Detection, Continuous Monitoring, Automation, Root Cause Analysis, Trend Analysis

    Advanced · Course · 1 - 4 Weeks

  • E

    Edureka

    Fine-Tuning & Optimizing Large Language Models

    Skills you'll gain: Model Evaluation, LLM Application, Large Language Modeling, Prompt Engineering, Hugging Face, Transfer Learning, Context Management

    Beginner · Course · 1 - 3 Months

  • P

    Packt

    Data-Driven Apps with Core Data, ML, and App Architecture

    Skills you'll gain: Apple iOS, Core Data (Software), Application Design, Swift Programming, Apple Xcode, User Interface (UI), Mobile Development, Data Store, Machine Learning Software, Software Architecture, Performance Tuning, Database Development, Database Management, Software Design, Model View Controller, User Interface and User Experience (UI/UX) Design, Application Development

    Intermediate · Course · 1 - 4 Weeks

  • P

    Packt

    ASP.NET 6.0 - Build Hands-On Web Projects

    Skills you'll gain: ASP.NET, Middleware, .NET Framework, C# (Programming Language), Model View Controller, Back-End Web Development, Web Development, Restful API, Server Side, Full-Stack Web Development, Web Applications, Application Frameworks, Object-Relational Mapping, Microsoft SQL Servers, Data Validation, Data Migration

    Intermediate · Course · 1 - 3 Months

1…333435…396

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

  • IBM Hybrid Cloud Architect: IBM
  • Machine Learning Foundations: Packt
  • Geographic Information Systems (GIS): University of California, Davis
  • Natural Language Processing: DeepLearning.AI
  • Web Applications for Everybody: University of Michigan
  • Probabilistic Graphical Models: Stanford University
  • AI in Healthcare: Stanford University
  • Introduction to Corporate Finance: University of Pennsylvania
  • Improve Data Quality and Automate Errors: Coursera
  • Fine-Tuning & Optimizing Large Language Models: Edureka

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