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

Results for "quantitative model checking"


  • D

    Duke University

    Machine Learning Foundations for Product Managers

    Skills you'll gain: Deep Learning, Model Evaluation, Unsupervised Learning, Classification And Regression Tree (CART), Machine Learning, Regression Analysis, Artificial Intelligence and Machine Learning (AI/ML), Convolutional Neural Networks, Decision Tree Learning, Computer Vision, Logistic Regression, Supervised Learning, Natural Language Processing, Random Forest Algorithm, Data Science, Predictive Analytics, Algorithms

    4.7
    Rating, 4.7 out of 5 stars
    ·
    776 reviews

    Intermediate · Course · 1 - 3 Months

  • D

    DeepLearning.AI

    Generative Adversarial Networks (GANs)

    Skills you'll gain: Generative Adversarial Networks (GANs), Generative Model Architectures, Generative AI, PyTorch (Machine Learning Library), Image Analysis, Convolutional Neural Networks, Deep Learning, Model Evaluation, Responsible AI, Artificial Neural Networks, Data Ethics, Machine Learning, Image Quality, Unsupervised Learning, Information Privacy, Data Synthesis

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

    Intermediate · Specialization · 1 - 3 Months

  • L

    LearnQuest

    Microsoft Azure: AI, Infrastructure, and Data Solutions

    Skills you'll gain: Cloud Infrastructure, Microsoft Azure, Infrastructure As A Service (IaaS), Data Processing, Big Data, Apache Spark, Artificial Intelligence and Machine Learning (AI/ML), Databricks, Infrastructure Security, Data Pipelines, Virtual Networking, Azure DevOps, Virtual Machines, Azure Active Directory, Analytics, Active Directory, Network Security, Model Deployment, Python Programming, Role-Based Access Control (RBAC)

    4.4
    Rating, 4.4 out of 5 stars
    ·
    1.6K reviews

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    GenAI Ops: Running Powerful Generative AI Systems

    Skills you'll gain: Cloud Security, Emotional Intelligence, Stakeholder Management, Data Ethics, Data Governance, Data Security, Enterprise Architecture, Executive Presence, Professional Development, AI Enablement, AI Product Strategy, Infrastructure as Code (IaC), Financial Forecasting, Zero Trust Network Access, Systems Architecture, Continuous Deployment, Terraform, Incident Management, Performance Tuning, Cloud Deployment

    Intermediate · Professional Certificate · 3 - 6 Months

  • E

    Edureka

    Agentic AI Engineering

    Skills you'll gain: LangChain, LangGraph, Model Context Protocol, AI Workflows, LLM Application, AI Orchestration, Agentic Workflows, Generative AI Agents, Tool Calling, Model Deployment, Data Transformation, Retrieval-Augmented Generation, Agentic systems, Generative AI, Middleware, Gemini, Scalability, Artificial Intelligence, Prompt Engineering, Responsible AI

    Intermediate · Specialization · 3 - 6 Months

  • U

    University of Toronto

    GIS Data Acquisition and Map Design

    Skills you'll gain: Geographic Information Systems, Geospatial Mapping, Data Mapping, Spatial Data Analysis, Data Visualization, Metadata Management, Quantitative Research, Spatial Analysis, Typography, Data Manipulation, Data Modeling, Design Elements And Principles, Data Import/Export

    4.9
    Rating, 4.9 out of 5 stars
    ·
    726 reviews

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Automate Excel Data with Power Query and Lookups

    Skills you'll gain: Data Cleansing, Financial Data, Microsoft Excel, Excel Formulas, Management Reporting, Data Transformation, Data Manipulation, Automation, Financial Reporting, Extract, Transform, Load, Data Import/Export, Spreadsheet Software, Data Validation

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Accounting Data Entry & Double-Entry Bookkeeping Fundamental

    Skills you'll gain: Bookkeeping, QuickBooks (Accounting Software), Month End Closing, Accounting Software, Data Entry, Accounting, Microsoft Excel, Data Import/Export, Accounting Records, General Accounting, Accounting Systems, Accrual Accounting, General Ledger, Spreadsheet Software, Expense Management, Data Validation, Reconciliation, Transaction Processing, Data Transformation

    Beginner · Course · 1 - 3 Months

  • E

    EDUCBA

    Build and Execute Automation Tests with Tosca

    Skills you'll gain: Test Automation, Test Case, Software Testing, Automation, Continuous Integration, Acceptance Testing, Test Execution Engine, Integration Testing, Test Planning, Mobile Development

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Master of Engineering in Engineering Management

    Skills you'll gain: Prompt Engineering, User Story, New Product Development, Model Based Systems Engineering, Model Evaluation, Failure Analysis, Sustainable Business, Data Mining, Field-Programmable Gate Array (FPGA), Delegation Skills, Real-Time Operating Systems, Object Oriented Design, Sampling (Statistics), Proposal Writing, Supplier Management, Accountability, Data Ethics, Sustainability Reporting, Database Design, Supervised Learning

    Earn a degree

    Degree · 1 - 4 Years

  • M

    Microsoft

    Microsoft Azure AI Fundamentals AI-900 Exam Prep

    Skills you'll gain: Responsible AI, Image Analysis, Anomaly Detection, Unsupervised Learning, Microsoft Azure, Natural Language Processing, Computer Vision, Artificial Intelligence, Applied Machine Learning, MLOps (Machine Learning Operations), AI Security, Regression Analysis, No-Code Development, Artificial Intelligence and Machine Learning (AI/ML), Predictive Modeling, Machine Learning, AI Workflows, Model Deployment, Classification Algorithms, Analytics

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

    Beginner · Specialization · 3 - 6 Months

  • D

    Duke University

    Data Visualization and Communication with Tableau

    Skills you'll gain: Data Storytelling, Dashboard, Tableau Software, Data Visualization, Business Analytics, Business Process, Business Process Improvement, Presentations, Data Visualization Software, Data Analysis, Visualization (Computer Graphics), Stakeholder Communications, Data Manipulation

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

    Mixed · Course · 1 - 3 Months

1…363738…396

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

  • Machine Learning Foundations for Product Managers: Duke University
  • Generative Adversarial Networks (GANs): DeepLearning.AI
  • Microsoft Azure: AI, Infrastructure, and Data Solutions: LearnQuest
  • GenAI Ops: Running Powerful Generative AI Systems: Coursera
  • Agentic AI Engineering: Edureka
  • GIS Data Acquisition and Map Design: University of Toronto
  • Automate Excel Data with Power Query and Lookups: Coursera
  • Accounting Data Entry & Double-Entry Bookkeeping Fundamental: Coursera
  • Build and Execute Automation Tests with Tosca: EDUCBA
  • Master of Engineering in Engineering Management: University of Colorado Boulder

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