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

Results for "quantitative model checking"


  • Status: New
    New
    P

    Packt

    Ultimate ASP.NET Core Web API Development Guide

    Skills you'll gain: Restful API, ASP.NET, Postman API Platform, Application Programming Interface (API), API Design, Cloud Deployment, Object-Relational Mapping, Web Development, Database Design, Authentications, API Testing, Database Development, Microsoft Visual Studio, Data Modeling, Microsoft Azure, Secure Coding, Role-Based Access Control (RBAC), Data Migration, Maintainability, Data Mapping

    Intermediate · Course · 1 - 3 Months

  • G

    Google Cloud

    Smart Analytics, Machine Learning, and AI on GCP - Italiano

    Skills you'll gain: Google Cloud Platform, Model Deployment, Unstructured Data, Big Data, Data Pipelines, Model Training, Applied Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Cloud Deployment, Jupyter, Machine Learning, Artificial Intelligence, Natural Language Processing

    Intermediate · Course · 1 - 3 Months

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

    Packt

    Procedural Maze Building - Unity 6 and Blender Compatible

    Skills you'll gain: 3D Modeling, Computer Graphic Techniques, Programming Principles, Code Reusability, Data Import/Export, Model Optimization

    Intermediate · Specialization · 1 - 3 Months

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

    EDUCBA

    Analyze and Automate Pivot Table Problem Solutions

    Skills you'll gain: Business Reporting, Project Documentation, Issue Tracking, Data Presentation, Data Validation, Data Visualization Software

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    Analyze and Apply Deep Learning for Computer Vision

    Skills you'll gain: Computer Vision, Image Analysis, Convolutional Neural Networks, Transfer Learning, Deep Learning, Generative AI, Generative Adversarial Networks (GANs), Generative Model Architectures, Artificial Neural Networks, Artificial Intelligence and Machine Learning (AI/ML), Recurrent Neural Networks (RNNs), Data Processing, Feature Engineering, Model Evaluation

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    生成 AI: 現在の状況を知る

    Skills you'll gain: Google Gemini, Responsible AI, Gemini, Google Cloud Platform, Generative AI Agents, Generative AI, AI Security, Cloud Management, AI Product Strategy, Cloud Infrastructure, Cloud Solutions, Decision Intelligence, AI literacy, Cloud Platforms, Model Deployment, Innovation

    Beginner · Course · 1 - 3 Months

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

    Packt

    Advanced Development, Python, and Deployment

    Skills you'll gain: Search Engine Optimization, jQuery, Keyword Research, Application Deployment, Content Optimization, Program Development, Object Oriented Programming (OOP), Web Servers, Data Validation

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    Analyze Advanced Data Using Minitab Regression Models

    Skills you'll gain: Classification And Regression Tree (CART), Minitab, Decision Tree Learning, Regression Analysis, Predictive Modeling, Statistical Modeling, Business Analytics, Statistical Methods, Advanced Analytics, Logistic Regression, Data-Driven Decision-Making, Scatter Plots, Plot (Graphics), Model Evaluation, Exploratory Data Analysis, Statistical Analysis, Case Studies, Responsible AI

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Houdini VEX Wrangles: Procedural Effects Guide

    Skills you'll gain: 3D Modeling, Computer Graphic Techniques, Visualization (Computer Graphics), Computer Graphics, Linear Algebra, Animations, Programming Principles, Scripting, Process Modeling, Simulations, User Interface (UI), Scripting Languages, Computational Logic, Data Structures

    Mixed · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Practical Apps & Interaction Patterns

    Skills you'll gain: UI Components, Swift Programming, iOS Development, User Interface (UI), Mobile Development, Application Development, Interactive Design, Application Design, User Interface (UI) Design, Model View Controller, Application Programming Interface (API), Software Design, Restful API, Animations, Typography, Data Modeling

    Intermediate · Course · 1 - 3 Months

  • G

    Google Cloud

    Machine Learning in the Enterprise - 日本語版

    Skills you'll gain: Data Preprocessing, MLOps (Machine Learning Operations), Workflow Management, AI Workflows, Data Governance, Data Management, Model Deployment, Model Training, Enterprise Modeling, Information Management, Google Cloud Platform, Model Optimization, Data Processing, AI Orchestration, Model Evaluation, Applied Machine Learning, Tensorflow, Data Pipelines, Machine Learning, Feature Engineering

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    P

    Packt

    Stylized Environments with Blender 4 Geometry Nodes

    Skills you'll gain: 3D Modeling, Game Design, 3D Assets, Visual Storytelling, Storytelling, Animation and Game Design, Virtual Environment, Computer Graphics, Visualization (Computer Graphics), Model Optimization, Graphics Software, Post-Production

    Intermediate · Course · 3 - 6 Months

1…399400401…443

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

  • Ultimate ASP.NET Core Web API Development Guide: Packt
  • Smart Analytics, Machine Learning, and AI on GCP - Italiano: Google Cloud
  • Procedural Maze Building - Unity 6 and Blender Compatible: Packt
  • Analyze and Automate Pivot Table Problem Solutions: EDUCBA
  • Analyze and Apply Deep Learning for Computer Vision: EDUCBA
  • 生成 AI: 現在の状況を知る: Google Cloud
  • Advanced Development, Python, and Deployment: Packt
  • Analyze Advanced Data Using Minitab Regression Models: EDUCBA
  • Houdini VEX Wrangles: Procedural Effects Guide: EDUCBA
  • Practical Apps & Interaction Patterns: Packt

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