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

Results for "quantitative model checking"


  • C

    Coursera

    Curso Completo de Deep Learning

    Skills you'll gain: Keras (Neural Network Library), Deep Learning, Tensorflow, Artificial Neural Networks, Machine Learning, Data Preprocessing, Model Evaluation

    Intermediate · Guided Project · Less Than 2 Hours

  • L

    LearnKartS

    Salesforce Fundamentals and Setup

    Skills you'll gain: Salesforce, Salesforce Development, Customer Relationship Management, Customer Relationship Management (CRM) Software, Data Migration, Data Management, System Configuration, Workflow Management, Data Validation, Cloud Computing, Business Reporting, Business Process Automation, User Accounts, Data Modeling, Administration, Role-Based Access Control (RBAC), Data Security

    4.7
    Rating, 4.7 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 4 Weeks

  • M

    Macquarie University

    Compétences Excel professionnelles : Intermédiaire II

    Skills you'll gain: Microsoft Excel, Excel Macros, Excel Formulas, Data Validation, Data Modeling, Spreadsheet Software, Verification And Validation, Financial Modeling, Data Integrity, Automation

    4.9
    Rating, 4.9 out of 5 stars
    ·
    15 reviews

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    AI & Machine Learning: Apply, Build & Solve

    Skills you'll gain: Artificial Intelligence, Bayesian Network, Applied Machine Learning, Computational Logic, Machine Learning, Unsupervised Learning, Bayesian Statistics, Artificial Neural Networks, Reinforcement Learning, Markov Model, Algorithms, Probability & Statistics, Decision Making

    5
    Rating, 5 out of 5 stars
    ·
    10 reviews

    Mixed · Course · 1 - 3 Months

  • C

    Coursera

    Data Analysis in R: Predictive Analysis with Regression

    Skills you'll gain: Ggplot2, Model Evaluation, Data Visualization, Regression Analysis, Predictive Analytics, Predictive Modeling, Data-Driven Decision-Making, Statistical Modeling, R Programming, Descriptive Statistics, Statistical Methods, Exploratory Data Analysis, Statistical Analysis, Data Analysis

    4.2
    Rating, 4.2 out of 5 stars
    ·
    13 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • P

    Packt

    Machine Learning with PyTorch and Scikit-Learn

    Skills you'll gain: Reinforcement Learning, Dimensionality Reduction, PyTorch (Machine Learning Library), Machine Learning Algorithms, Data Preprocessing, Model Evaluation, Artificial Intelligence and Machine Learning (AI/ML), Generative Adversarial Networks (GANs), Machine Learning Methods, Deep Learning, Transfer Learning, Applied Machine Learning, Pandas (Python Package), Scikit Learn (Machine Learning Library), Python Programming, Machine Learning, Artificial Neural Networks, Data Processing, Natural Language Processing, Feature Engineering

    Intermediate · Course · 3 - 6 Months

  • U

    University of Illinois Urbana-Champaign

    Data Analytics Foundations for Accountancy II

    Skills you'll gain: Anomaly Detection, Feature Engineering, Data Ethics, Machine Learning Algorithms, Classification Algorithms, Machine Learning, Statistical Machine Learning, Applied Machine Learning, Supervised Learning, Unsupervised Learning, Scikit Learn (Machine Learning Library), Model Evaluation, Data Preprocessing, Decision Tree Learning, Data Mining, Exploratory Data Analysis, Regression Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 3 Months

  • K

    KodeKloud

    Introduction to OpenAI

    Skills you'll gain: Prompt Engineering, OpenAI, OpenAI API, Responsible AI, Multimodal Prompts, AI Enablement, ChatGPT, Data Ethics, Artificial Intelligence, Generative AI, Tool Calling, AI Workflows, LLM Application, Image Analysis, Large Language Modeling, Natural Language Processing, Vision Transformer (ViT), Embeddings, Computer Vision, Reinforcement Learning

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Transforming Exploratory Data Analysis with AI

    Skills you'll gain: Responsible AI, Generative AI, Artificial Intelligence, Exploratory Data Analysis, Data Cleansing, Data-Driven Decision-Making, Real Time Data, Data Analysis, AI Workflows, Data Processing, Pandas (Python Package), Automation, Data Validation

    Intermediate · Course · 1 - 4 Weeks

  • D

    DeepLearning.AI

    Carbon Aware Computing for GenAI Developers

    Skills you'll gain: Google Cloud Platform, Cloud Computing, Applied Machine Learning, Datamaps, Model Deployment, Cloud Services, Spatial Data Analysis, Machine Learning, Real Time Data

    4.7
    Rating, 4.7 out of 5 stars
    ·
    16 reviews

    Beginner · Project · Less Than 2 Hours

  • P

    Packt

    Zero to Hero: Master Java SpringBoot & JPA with Projects

    Skills you'll gain: Spring Boot, Hibernate (Java), Object-Relational Mapping, GitHub, Git (Version Control System), Java, Software Documentation, JUnit, Restful API, Application Performance Management, API Design, Model View Controller, Postman API Platform, User Accounts

    4.1
    Rating, 4.1 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 3 - 6 Months

  • D

    DeepLearning.AI

    Building Applications with Vector Databases

    Skills you'll gain: Retrieval-Augmented Generation, Vector Databases, Anomaly Detection, Embeddings, LLM Application, Generative AI, Semantic Web, Application Design, Natural Language Processing, Image Analysis, AI Personalization

    4.2
    Rating, 4.2 out of 5 stars
    ·
    17 reviews

    Beginner · Project · Less Than 2 Hours

1…228229230…391

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

  • Curso Completo de Deep Learning: Coursera
  • Salesforce Fundamentals and Setup: LearnKartS
  • Compétences Excel professionnelles : Intermédiaire II: Macquarie University
  • AI & Machine Learning: Apply, Build & Solve: EDUCBA
  • Data Analysis in R: Predictive Analysis with Regression: Coursera
  • Machine Learning with PyTorch and Scikit-Learn: Packt
  • Data Analytics Foundations for Accountancy II: University of Illinois Urbana-Champaign
  • Introduction to OpenAI: KodeKloud
  • Transforming Exploratory Data Analysis with AI: Coursera
  • Carbon Aware Computing for GenAI Developers: DeepLearning.AI

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