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

Results for "quantitative model checking"


  • D

    DeepLearning.AI

    Unsupervised Learning, Recommenders, Reinforcement Learning

    Skills you'll gain: Unsupervised Learning, Data Ethics, Machine Learning, Supervised Learning, Artificial Intelligence, Reinforcement Learning, Artificial Neural Networks, Deep Learning, Anomaly Detection, Dimensionality Reduction, Algorithms

    4.9
    Rating, 4.9 out of 5 stars
    ·
    5.5K reviews

    Beginner · Course · 1 - 4 Weeks

  • E

    Erasmus University Rotterdam

    Econometrics: Methods and Applications

    Skills you'll gain: Econometrics, Time Series Analysis and Forecasting, Regression Analysis, Logistic Regression, Data Analysis, Trend Analysis, Statistical Analysis, Statistical Modeling, Statistics, Case Studies, Forecasting, Model Evaluation, Probability, Linear Algebra

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

    Mixed · Course · 1 - 3 Months

  • E

    EDUCBA

    Analyze Capital, Basel, Stress Testing, and Resilience

    Skills you'll gain: Risk Management Framework, Financial Analysis, Financial Regulation, Business Continuity, Financial Systems, Data Management, Financial Controls, Capital Markets

    Mixed · Course · 1 - 3 Months

  • U

    University of Toronto

    GIS, Mapping, and Spatial Analysis

    Skills you'll gain: ArcGIS, Spatial Data Analysis, Spatial Analysis, Geographic Information Systems, Geospatial Mapping, GIS Software, Data Mapping, Geospatial Information and Technology, Data Visualization, Metadata Management, Query Languages, Global Positioning Systems, Quantitative Research, Data Compilation, Typography, Data Manipulation, Data Storytelling, Data Modeling, Design Elements And Principles, Image Analysis

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

    Beginner · Specialization · 3 - 6 Months

  • E

    EDUCBA

    Analyze Advanced Investment Topics and Valuation Models

    Skills you'll gain: Environmental Social And Corporate Governance (ESG), Business Ethics, Mergers & Acquisitions, Investments, Real Estate, Business Valuation, Econometrics, Financial Analysis, Financial Modeling, Equities, Statistical Methods, Regression Analysis, Corporate Finance, International Finance, Market Dynamics

    Beginner · Course · 1 - 3 Months

  • I

    IBM

    IBM Deep Learning with PyTorch, Keras and Tensorflow

    Skills you'll gain: PyTorch (Machine Learning Library), Transfer Learning, Model Evaluation, Vision Transformer (ViT), Keras (Neural Network Library), Deep Learning, Convolutional Neural Networks, Reinforcement Learning, Autoencoders, Unsupervised Learning, Tensorflow, Artificial Neural Networks, Recurrent Neural Networks (RNNs), Generative Adversarial Networks (GANs), Statistical Methods, Logistic Regression, Image Analysis, Data Preprocessing, Model Deployment, Computer Vision

    4.5
    Rating, 4.5 out of 5 stars
    ·
    4.2K reviews

    Intermediate · Professional Certificate · 3 - 6 Months

  • U

    University of Michigan

    Introduction to Structured Query Language (SQL)

    Skills you'll gain: Database Design, SQL, MySQL, Relational Databases, Databases, Data Modeling, Development Environment, PHP (Scripting Language), Software Installation

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

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Optimize and Deploy Edge AI Models

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Tensorflow, Performance Analysis, Applied Machine Learning

    Intermediate · Course · 1 - 4 Weeks

  • I

    IBM

    Introduction to Software Engineering

    Skills you'll gain: Software Development Life Cycle, Software Architecture, Software Design, Software Development Methodologies, Software Design Patterns, Development Environment, Unified Modeling Language, Software Engineering, Web Applications, Software Development, Application Deployment, Programming Principles, Front-End Web Development, Back-End Web Development, Python Programming, Software Versioning

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

    Beginner · Course · 1 - 3 Months

  • E

    EDUCBA

    Apply SketchUp for Beginner-Level 3D Modeling

    Skills you'll gain: SketchUp (3D Modeling Software), 3D Modeling, Visualization (Computer Graphics), Model Evaluation, Design Software, Software Installation, User Interface (UI)

    Beginner · Course · 1 - 4 Weeks

  • 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

    Universidad Austral

    Excel aplicado a los negocios (Nivel Avanzado)

    Skills you'll gain: Excel Macros, Microsoft Excel, Excel Formulas, Data Analysis Expressions (DAX), Spreadsheet Software, Data Import/Export, Data Validation, Business Analysis, Process Optimization, Data Analysis Software, Visual Basic (Programming Language), Automation

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

    Intermediate · Course · 1 - 3 Months

1…323334…396

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

  • Unsupervised Learning, Recommenders, Reinforcement Learning: DeepLearning.AI
  • Econometrics: Methods and Applications: Erasmus University Rotterdam
  • Analyze Capital, Basel, Stress Testing, and Resilience: EDUCBA
  • GIS, Mapping, and Spatial Analysis: University of Toronto
  • Analyze Advanced Investment Topics and Valuation Models: EDUCBA
  • IBM Deep Learning with PyTorch, Keras and Tensorflow: IBM
  • Introduction to Structured Query Language (SQL): University of Michigan
  • Optimize and Deploy Edge AI Models: Coursera
  • Introduction to Software Engineering: IBM
  • Apply SketchUp for Beginner-Level 3D Modeling: 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