• 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
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Market Research: Analyze, Forecast & Apply

    Skills you'll gain: Market Research, Market Analysis, Marketing, Research Methodologies, Research, Research Design, Quantitative Research, Consumer Behaviour, Market Trend, Surveys, Customer Analysis, Qualitative Research, Forecasting, Price Negotiation, Analysis, Product Testing, Data Collection, Sampling (Statistics)

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    F

    Fractal Analytics

    Coding with Generative AI

    Skills you'll gain: Generative AI, Generative Model Architectures, Object Oriented Programming (OOP), Large Language Modeling, Prompt Engineering, Artificial Neural Networks, Computer Programming, Debugging, Python Programming, Semantic Web, Critical Thinking

    4.2
    Rating, 4.2 out of 5 stars
    ·
    22 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Pneumonia Classification using PyTorch

    Skills you'll gain: PyTorch (Machine Learning Library), Data Preprocessing, Transfer Learning, Convolutional Neural Networks, Medical Imaging, Radiology, Image Analysis, Deep Learning, Python Programming

    4.4
    Rating, 4.4 out of 5 stars
    ·
    11 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: New
    New
    P

    Packt

    AI & Quantum Computing – Zero to Expert Bootcamp

    Skills you'll gain: Reinforcement Learning, Deep Learning, Artificial Intelligence and Machine Learning (AI/ML), PyTorch (Machine Learning Library), Tensorflow, Machine Learning, Artificial Intelligence, Artificial Neural Networks, Computer Science, Algorithms, Data Processing, Python Programming

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Learn CSS Variables

    Skills you'll gain: Cascading Style Sheets (CSS), HTML and CSS, Front-End Web Development, Javascript, Responsive Web Design, Maintainability

    4.6
    Rating, 4.6 out of 5 stars
    ·
    11 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Introduction to ASP.NET Core Framework

    Skills you'll gain: ASP.NET, .NET Framework, Responsive Web Design, HTML and CSS, C# (Programming Language), Web Applications, Web Development, Javascript and jQuery, UI Components, Application Frameworks, Bootstrap (Front-End Framework), Development Environment, Restful API, Microsoft Development Tools, React Redux, Model View Controller, Middleware

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Keras Deep Learning & Generative Adversarial Networks (GAN)

    Skills you'll gain: Generative Adversarial Networks (GANs), Exploratory Data Analysis, Model Deployment, Keras (Neural Network Library), NumPy, Transfer Learning, PyTorch (Machine Learning Library), Predictive Modeling, Matplotlib, Data Analysis, Artificial Intelligence, Data Preprocessing, Development Environment, Pandas (Python Package), Deep Learning, Classification And Regression Tree (CART), Artificial Neural Networks, Image Analysis, Machine Learning, Data Science

    Intermediate · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Data Warehousing: Schema, ETL, Optimal Performance

    Skills you'll gain: Data Warehousing, Extract, Transform, Load, Snowflake Schema, Star Schema, Business Intelligence, Data Modeling, Database Design, Data Management, Data Integration, Performance Tuning, Databases, Data Transformation, Scalability

    4.1
    Rating, 4.1 out of 5 stars
    ·
    18 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    D

    Duke University

    End to End LLMs with Azure

    Skills you'll gain: Retrieval-Augmented Generation, LLM Application, Model Deployment, Prompt Patterns, Microsoft Azure, OpenAI API, Large Language Modeling, OpenAI, Application Deployment, Embeddings, Application Programming Interface (API), Scalability

    2.5
    Rating, 2.5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Java Servlets Tutorial

    Skills you'll gain: Model View Controller, Java Platform Enterprise Edition (J2EE), Back-End Web Development, Server Side, Data Access, Apache Tomcat, Application Servers, Relational Databases, Databases, Java, Web Servers, SQL, Authentications, Web Applications, Secure Coding, Software Design Patterns, Data Persistence, Context Management

    4.7
    Rating, 4.7 out of 5 stars
    ·
    28 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    CertNexus

    Train Machine Learning Models

    Skills you'll gain: Jupyter, Unsupervised Learning, Model Evaluation, Classification Algorithms, Applied Machine Learning, Predictive Modeling, Regression Analysis, Data Preprocessing, Machine Learning, Supervised Learning, Feature Engineering, Performance Tuning, Algorithms

    Intermediate · Course · 1 - 3 Months

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

    EDUCBA

    ZBrush 3D Sculpting & Modeling Mastery

    Skills you'll gain: 3D Assets, 3D Modeling, Computer Graphics, Animation and Game Design, Video Game Development, Visualization (Computer Graphics), Graphical Tools, Computer Graphic Techniques, User Interface (UI), Data Import/Export, Graphics Software, File Management

    4.9
    Rating, 4.9 out of 5 stars
    ·
    11 reviews

    Beginner · Specialization · 1 - 3 Months

1…255256257…403

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

  • Market Research: Analyze, Forecast & Apply: EDUCBA
  • Coding with Generative AI: Fractal Analytics
  • Pneumonia Classification using PyTorch : Coursera
  • AI & Quantum Computing – Zero to Expert Bootcamp: Packt
  • Learn CSS Variables: Scrimba
  • Introduction to ASP.NET Core Framework: Microsoft
  • Keras Deep Learning & Generative Adversarial Networks (GAN): Packt
  • Data Warehousing: Schema, ETL, Optimal Performance: Coursera
  • End to End LLMs with Azure: Duke University
  • Java Servlets Tutorial: EDUCBA

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