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

Results for "quantitative model checking"


  • G

    Google

    Google Data Analytics (DE)

    Skills you'll gain: Data Cleansing, Stakeholder Management, Rmarkdown, Data Presentation, Data Storytelling, Data Visualization, Data Validation, Data Literacy, Ggplot2, Data Ethics, Data-Driven Decision-Making, Interactive Data Visualization, Analytical Skills, Data Integrity, Dashboard, Data Synthesis, Data Visualization Software, Tableau Software, Case Studies, Data Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    36 reviews

    Beginner · Professional Certificate · 3 - 6 Months

  • G

    Google Cloud

    Crea canalizaciones de datos por lotes en Google Cloud

    Skills you'll gain: Data Pipelines, Dataflow, Extract, Transform, Load, Data Integration, Data Processing, Data Quality, Data Warehousing, Data Transformation, Google Cloud Platform, Data Validation, Big Data, Apache Spark, Scalability, Performance Tuning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    45 reviews

    Intermediate · Course · 1 - 4 Weeks

  • I

    IBM

    Machine Learning Rapid Prototyping with IBM Watson Studio

    Skills you'll gain: Feature Engineering, Model Deployment, Data Preprocessing, Model Evaluation, Data Transformation, Applied Machine Learning, MLOps (Machine Learning Operations), Predictive Modeling, Exploratory Data Analysis, Automation, Machine Learning Methods, Machine Learning, Scikit Learn (Machine Learning Library), Artificial Intelligence and Machine Learning (AI/ML), Data Science, Python Programming, Performance Tuning

    4.3
    Rating, 4.3 out of 5 stars
    ·
    16 reviews

    Intermediate · Course · 1 - 4 Weeks

  • E

    Edureka

    Introduction to Analytics Engineering

    Skills you'll gain: SQL, Star Schema, Data Modeling, Data Quality, Data Pipelines, Database Design, Data Mart, Data Validation, Extract, Transform, Load, Data Analysis, Data Warehousing, Data Transformation, Data Management, Version Control

    Beginner · Course · 1 - 4 Weeks

  • J

    Johns Hopkins University

    Intrusion Detection

    Skills you'll gain: Intrusion Detection and Prevention, Model Evaluation, Incident Response, Threat Detection, Endpoint Detection and Response, Computer Security Incident Management, Cyber Threat Hunting, Distributed Denial-Of-Service (DDoS) Attacks, Cybersecurity, Anomaly Detection, Cyber Security Strategy, Threat Management, Continuous Monitoring, Cyber Security Policies, Security Management, System Monitoring, AI Security, Virtual Machines, Network Analysis, Data Analysis

    Intermediate · Specialization · 3 - 6 Months

  • I

    Illinois Tech

    Cyber Security Technologies

    Skills you'll gain: Cybersecurity, Cyber Attacks, Network Security, Information Systems Security, Computer Security, Cryptography, Disaster Recovery, Application Security, Cyber Operations, Cyber Security Policies, Cryptographic Protocols, IT Security Architecture, Telecommunications, Network Administration, NIST 800-53, Infrastructure Security, Security Controls, Data Security, Encryption, Governance Risk Management and Compliance

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    25 reviews

    Intermediate · Course · 1 - 3 Months

  • G

    Google Cloud

    Introduction to AI and Machine Learning on GC - Español

    Skills you'll gain: Google Cloud Platform, Generative AI, Artificial Intelligence and Machine Learning (AI/ML), MLOps (Machine Learning Operations), AI Workflows, Cloud Infrastructure, Big Data, Model Deployment, Machine Learning, Predictive Modeling, Natural Language Processing

    4.3
    Rating, 4.3 out of 5 stars
    ·
    17 reviews

    Beginner · Course · 1 - 3 Months

  • S

    Skillshare

    Understand & Use AI – ChatGPT with Smart Prompting Tips

    Skills you'll gain: Prompt Engineering, ChatGPT, Generative AI, Large Language Modeling, Business Process, Content Creation, Target Audience, Artificial Intelligence, Writing

    4.1
    Rating, 4.1 out of 5 stars
    ·
    14 reviews

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Machine Learning in Retail

    Skills you'll gain: Customer Analysis, Unsupervised Learning, Customer Insights, Marketing Analytics, Applied Machine Learning, Data Analysis, Web Analytics, Retail Store Operations, Machine Learning, Machine Learning Algorithms, Histogram, Decision Tree Learning, Model Evaluation, Pandas (Python Package)

    4.9
    Rating, 4.9 out of 5 stars
    ·
    9 reviews

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Deep Learning with ANN in Python: Build & Optimize

    Skills you'll gain: Keras (Neural Network Library), Tensorflow, Artificial Neural Networks, Deep Learning, Data Preprocessing, Model Evaluation, Customer Analysis, Applied Machine Learning, Scikit Learn (Machine Learning Library), Development Environment, Predictive Analytics, Pandas (Python Package), Data Cleansing

    4.6
    Rating, 4.6 out of 5 stars
    ·
    17 reviews

    Mixed · Course · 1 - 4 Weeks

  • G

    Google Cloud

    Datadog: Getting started with the Helm Chart

    Skills you'll gain: Kubernetes, Application Performance Management, YAML, Google Cloud Platform, Configuration Management, Real Time Data, Data Analysis

    2.8
    Rating, 2.8 out of 5 stars
    ·
    9 reviews

    Beginner · Project · Less Than 2 Hours

  • O

    O.P. Jindal Global University

    Conflict Resolution, Negotiations and Crisis Management

    Skills you'll gain: Crisis Management, Mediation, Negotiation, Conflict Management, Diplomacy, Leadership, Governance, Public Safety and National Security, International Relations, Social Justice, Diversity and Inclusion, Decision Making, Case Studies

    4.9
    Rating, 4.9 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 3 Months

1…262263264…396

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

  • Google Data Analytics (DE): Google
  • Crea canalizaciones de datos por lotes en Google Cloud: Google Cloud
  • Machine Learning Rapid Prototyping with IBM Watson Studio: IBM
  • Introduction to Analytics Engineering: Edureka
  • Intrusion Detection: Johns Hopkins University
  • Cyber Security Technologies: Illinois Tech
  • Introduction to AI and Machine Learning on GC - Español: Google Cloud
  • Understand & Use AI – ChatGPT with Smart Prompting Tips: Skillshare
  • Machine Learning in Retail: Coursera
  • Deep Learning with ANN in Python: Build & Optimize: 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