• 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 Michigan

    Linear Regression Modeling for Health Data

    Skills you'll gain: Statistical Modeling, Statistics, Regression Analysis, Statistical Methods, Statistical Inference, Probability & Statistics, Correlation Analysis, Data Analysis, Statistical Analysis, Statistical Hypothesis Testing

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Introduction to Machine Learning: Unsupervised Learning

    Skills you'll gain: Feature Engineering, Statistical Methods, Model Evaluation, Algorithms

    Intermediate · Course · 1 - 3 Months

  • L

    Logical Operations

    Microsoft Power Apps: Building Low-Code Business Apps

    Skills you'll gain: Microsoft Power Platform, No-Code Development, Application Deployment, Application Design, Application Development, Microsoft 365, Dashboard, Data-Driven Decision-Making, Software Design, Project Planning, Product Testing, Software Development, Business Solutions, Software Architecture

    Mixed · Course · 1 - 3 Months

  • P

    Politecnico di Milano

    Platform Thinking: designing a Platform

    Skills you'll gain: Design Thinking, Innovation, Platform As A Service (PaaS), Product Development, Strategic Thinking, New Business Development, Business Strategies, Business Modeling, Growth Strategies, Business Transformation, Target Market, Customer Analysis, Value Propositions

    4.7
    Rating, 4.7 out of 5 stars
    ·
    18 reviews

    Beginner · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Data Engineer, Big Data and ML on Google Cloud auf Deutsch

    Skills you'll gain: Model Deployment, Dataflow, Google Cloud Platform, Data Pipelines, Data Warehousing, Data Lakes, Real Time Data, Dashboard, Cloud Engineering, Tensorflow, Data Infrastructure, Apache Spark, Data Preprocessing, Big Data, Extract, Transform, Load, Cloud Storage, PySpark, Data Processing, Data Storage, MLOps (Machine Learning Operations)

    Intermediate · Specialization · 3 - 6 Months

  • L

    L&T EduTech

    Two-Phase Pipe Hydraulics and Pipe Sizing

    Skills you'll gain: Hydraulics, Chemical Engineering, Engineering Analysis, Mechanical Engineering, Process Engineering, Petroleum Industry, Engineering Calculations, Mathematical Modeling, Process Analysis, Oil and Gas

    4.8
    Rating, 4.8 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 4 Weeks

  • B

    Berklee

    Touring 101 for Musicians

    Skills you'll gain: Marketing Budgets, Marketing Planning, Performance Metric, Marketing Strategies, Sales Presentations, Goal Setting, Travel Arrangements, Customer Engagement, Booking (Sales), Event Marketing, Content Marketing, Professional Networking, Business Planning, Talent Management, Scheduling

    Beginner · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Java Servlet Development: From Basics to Real-World Projects

    Skills you'll gain: Model View Controller, Java Platform Enterprise Edition (J2EE), Back-End Web Development, Full-Stack Web Development, Server Side, Email Automation, Data Access, Apache Tomcat, Front-End Web Development, Java Programming, Web Design and Development, Databases, PostgreSQL, Relational Databases, Java, User Interface (UI), Web Design, Web Servers, Systems Development, Application Servers

    4.5
    Rating, 4.5 out of 5 stars
    ·
    48 reviews

    Beginner · Specialization · 3 - 6 Months

  • U

    University of Glasgow

    Clinical Decision Support Systems - CDSS 4

    Skills you'll gain: Model Evaluation, Data Ethics, AI Security, Responsible AI, Healthcare Ethics, Machine Learning, Deep Learning, Information Privacy, Decision Support Systems, Health Informatics, Predictive Modeling, Artificial Intelligence, Human Centered Design, Data Security

    Intermediate · Course · 1 - 4 Weeks

  • A

    Amazon Web Services

    Building AI Agents with Amazon Bedrock AgentCore

    Skills you'll gain: Model Context Protocol, Amazon Bedrock, Model Deployment, Generative AI Agents, AI Orchestration, AI Workflows, AI Enablement

    4
    Rating, 4 out of 5 stars
    ·
    14 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    AI & LLM Engineering Mastery - GenAI, RAG Complete Guide

    Skills you'll gain: Retrieval-Augmented Generation, OpenAI API, AI Workflows, Generative Model Architectures, Model Deployment, Hugging Face, Programming Principles, Computer Programming, Transfer Learning, Application Deployment, Context Management, Embeddings, User Interface (UI), Model Evaluation, Vector Databases, Debugging, Software Installation

    Intermediate · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Introduction to Modern Web Development with ASP.NET Core

    Skills you'll gain: Restful API, Model View Controller, ASP.NET, OAuth, Web Development, Application Programming Interface (API), .NET Framework, Web Services, Authentications, Unit Testing, Back-End Web Development, C# (Programming Language), Web Applications, Object-Relational Mapping, Application Security, Authorization (Computing), Operational Databases, Data Access, Cloud Computing, Computer Programming

    4.7
    Rating, 4.7 out of 5 stars
    ·
    38 reviews

    Beginner · Course · 1 - 4 Weeks

1…265266267…399

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

  • Linear Regression Modeling for Health Data: University of Michigan
  • Introduction to Machine Learning: Unsupervised Learning: University of Colorado Boulder
  • Microsoft Power Apps: Building Low-Code Business Apps: Logical Operations
  • Platform Thinking: designing a Platform: Politecnico di Milano
  • Data Engineer, Big Data and ML on Google Cloud auf Deutsch: Google Cloud
  • Two-Phase Pipe Hydraulics and Pipe Sizing: L&T EduTech
  • Touring 101 for Musicians: Berklee
  • Java Servlet Development: From Basics to Real-World Projects: EDUCBA
  • Clinical Decision Support Systems - CDSS 4: University of Glasgow
  • Building AI Agents with Amazon Bedrock AgentCore: Amazon Web Services

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