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

Results for "quantitative model checking"


  • I

    IE Business School

    Marketing Mix Implementation

    Skills you'll gain: Product Lifecycle Management, Marketing Communications, Integrated Marketing Communications, Advertising, Marketing, Brand Strategy, Marketing Budgets, Strategic Decision-Making, Brand Management, Brand Marketing, Customer experience strategy (CX), Price Negotiation, Product Management, Marketing Strategies, Retail Management, Marketing Channel, Strategic Marketing, Product Strategy, Merchandising, Communication

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

    Beginner · Specialization · 3 - 6 Months

  • G

    Google

    Connect and Protect: Networks and Network Security

    Skills you'll gain: Network Security, Hardening, Network Protocols, Cloud Security, Network Architecture, Intrusion Detection and Prevention, TCP/IP, Vulnerability Assessments, Computer Networking, Cybersecurity, Network Infrastructure, Firewall, Cloud Computing, Virtual Private Networks (VPN), Encryption

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

    Beginner · Course · 1 - 4 Weeks

  • D

    DeepLearning.AI

    AI for Medicine

    Skills you'll gain: Model Evaluation, Deep Learning, Statistical Analysis, Clinical Trials, Data Preprocessing, Risk Modeling, Treatment Planning, Data Analysis, Convolutional Neural Networks, Decision Tree Learning, Predictive Modeling, Feature Engineering, Patient Treatment, Image Analysis, Applied Machine Learning, AI Personalization, Diagnostic Radiology, Machine Learning, Random Forest Algorithm, Forecasting

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

    Intermediate · Specialization · 1 - 3 Months

  • P

    Packt

    Segment Routing in MPLS Networks

    Skills you'll gain: Multiprotocol Label Switching, Routing Protocols, Network Routing, Network Troubleshooting, Network Performance Management, Network Routers, Network Infrastructure, Network Planning And Design, Computer Networking, Network Protocols, Network Engineering, Network Model, Telecommunications, Verification And Validation

    Intermediate · Course · 3 - 6 Months

  • D

    DeepLearning.AI

    Introduction to TensorFlow for Artificial Intelligence, Machine Learning, and Deep Learning

    Skills you'll gain: Tensorflow, Computer Vision, Model Evaluation, Image Analysis, Convolutional Neural Networks, Keras (Neural Network Library), Deep Learning, Artificial Neural Networks, Artificial Intelligence, Data Preprocessing, Machine Learning

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

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Michigan

    Using Databases with Python

    Skills you'll gain: Database Design, Relational Databases, SQL, Databases, Data Visualization Software, Web Scraping, Data Modeling, Object Oriented Programming (OOP), Data Processing, Geographic Information Systems, Python Programming, Application Programming Interface (API)

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

    Beginner · Course · 1 - 3 Months

  • Status: Top AI Program
    Top AI Program
    I

    IBM

    IBM RAG and Agentic AI

    Skills you'll gain: Prompt Engineering, AI Orchestration, AI Workflows, LangChain, Retrieval-Augmented Generation, Agentic Workflows, Tool Calling, LangGraph, LLM Application, Agentic systems, Multimodal Prompts, Model Context Protocol, Generative AI, AI Security, Generative AI Agents, Vector Databases, Generative Model Architectures, OpenAI API, Responsible AI, Software Development

    4.6
    Rating, 4.6 out of 5 stars
    ·
    829 reviews

    Advanced · Professional Certificate · 3 - 6 Months

  • C

    Coursera

    Building and Optimizing AI Models

    Skills you'll gain: Feature Engineering, Applied Machine Learning, Machine Learning Methods, Machine Learning Algorithms, Deep Learning, Supervised Learning, Transfer Learning, Model Evaluation, Data Structures, Predictive Modeling, Artificial Intelligence and Machine Learning (AI/ML), Algorithms, Tensorflow, Keras (Neural Network Library), Machine Learning, Artificial Neural Networks, Performance Tuning, Convolutional Neural Networks, Unsupervised Learning, Programming Principles

    Intermediate · Course · 1 - 3 Months

  • K

    Knowledge Accelerators

    Excel to Power BI: Data Analysis & Business Intelligence

    Skills you'll gain: Power BI, Data Presentation, Microsoft Excel, Dashboard, Excel Formulas, Data Modeling, Business Reporting, Data Entry, Data Analysis, Data Storytelling, Data-Driven Decision-Making, Business Analytics, Analytics, Business Modeling, Data Processing, Business Analysis, Data Cleansing, Data Synthesis, Trend Analysis, Data Management

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

    Beginner · Specialization · 3 - 6 Months

  • K

    KodeKloud

    Deploy ML Models to Production

    Skills you'll gain: AWS SageMaker, Model Deployment, MLOps (Machine Learning Operations), Data Governance, Data Security, Application Deployment, Personally Identifiable Information, Cloud Deployment, General Data Protection Regulation (GDPR), Continuous Deployment, Model Evaluation, Application Programming Interface (API), Continuous Monitoring

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Eyes on AI - Computer Vision Engineering

    Skills you'll gain: Model Evaluation, Transfer Learning, PyTorch (Machine Learning Library), Model Deployment, Data Preprocessing, Technical Communication, MLOps (Machine Learning Operations), Image Analysis, Computer Vision, AI Workflows, Convolutional Neural Networks, Tensorflow, Dataflow, Performance Tuning, Performance Metric, Data Analysis, Deep Learning, Exploratory Data Analysis, Engineering Software, Process Optimization

    Intermediate · Professional Certificate · 3 - 6 Months

  • E

    Edureka

    LLM Engineering: Prompting, Fine-Tuning, Optimization & RAG

    Skills you'll gain: Retrieval-Augmented Generation, Prompt Engineering, Multimodal Prompts, Prompt Patterns, Prompt Engineering Tools, LLM Application, Model Evaluation, LangChain, Large Language Modeling, Hugging Face, Transfer Learning, Model Deployment, Responsible AI, Performance Tuning, AI Workflows, Generative AI, LangGraph, Embeddings, Context Management, Vector Databases

    Intermediate · Specialization · 3 - 6 Months

1…252627…399

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

  • Marketing Mix Implementation: IE Business School
  • Connect and Protect: Networks and Network Security: Google
  • AI for Medicine: DeepLearning.AI
  • Segment Routing in MPLS Networks: Packt
  • Introduction to TensorFlow for Artificial Intelligence, Machine Learning, and Deep Learning: DeepLearning.AI
  • Using Databases with Python: University of Michigan
  • IBM RAG and Agentic AI: IBM
  • Building and Optimizing AI Models : Coursera
  • Excel to Power BI: Data Analysis & Business Intelligence: Knowledge Accelerators
  • Deploy ML Models to Production: KodeKloud

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