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

Results for "quantitative model checking"


  • Status: Free Trial
    Free Trial
    S

    Simplilearn

    AI & Deep Learning Concepts and Applications

    Skills you'll gain: Reinforcement Learning, Artificial Intelligence, Tensorflow, Artificial Neural Networks, Deep Learning, Machine Learning, Applied Machine Learning, Data Ethics, Supervised Learning, Responsible AI, Unsupervised Learning, Natural Language Processing, Computer Programming

    4.1
    Rating, 4.1 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Cybersecurity Foundations & Threat Mitigation

    Skills you'll gain: Security Controls, Threat Management, Cybersecurity, Threat Detection, Cyber Threat Intelligence, Zero Trust Network Access, Cyber Attacks, Application Security, Cyber Risk, Computer Security, Information Systems Security, Data Security, Network Security, Encryption, Multi-Factor Authentication, Cryptography, Authorization (Computing), Identity and Access Management

    4.9
    Rating, 4.9 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free
    Free
    C

    Coursera

    Program Communications Management in ClickUp

    Skills you'll gain: Program Management, Diagram Design, Project Management Software, Communication Planning, Agile Methodology, Technical Communication, Stakeholder Management

    4.9
    Rating, 4.9 out of 5 stars
    ·
    9 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    D

    Duke University

    End to End LLMs with Azure

    Skills you'll gain: Retrieval-Augmented Generation, LLM Application, Model Deployment, Prompt Patterns, Microsoft Azure, OpenAI API, Large Language Modeling, OpenAI, Application Deployment, Embeddings, Application Programming Interface (API), Scalability

    2.5
    Rating, 2.5 out of 5 stars
    ·
    6 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    Edureka

    Getting Started with Generative AI

    Skills you'll gain: Prompt Engineering, Generative AI, Generative Model Architectures, Generative Adversarial Networks (GANs), Large Language Modeling, Artificial Intelligence and Machine Learning (AI/ML), Responsible AI, Embeddings, Data Preprocessing, AI Personalization, Deep Learning, Model Evaluation, Transfer Learning, Model Deployment, Open Source Technology, Data Processing, Machine Learning, Data Cleansing, Data Visualization, Database Systems

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    P

    Packt

    Foundations of Data Science and Machine Learning with Python

    Skills you'll gain: Matplotlib, NumPy, Data Visualization, Data Manipulation, Linear Algebra, Seaborn, Natural Language Processing, Deep Learning, Machine Learning, Artificial Intelligence and Machine Learning (AI/ML), Python Programming, Data Preprocessing, Data Science, Regression Analysis, Data Structures, Logistic Regression

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Duke University

    Building Financial Models for Entrepreneurs

    Skills you'll gain: Financial Modeling, Entrepreneurial Finance, Financial Forecasting, Capital Budgeting, Entrepreneurship, Cash Flow Forecasting, Financial Data, Financial Analysis, Business Modeling, Finance, Negotiation, Investments, Microsoft Excel

    5
    Rating, 5 out of 5 stars
    ·
    10 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    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

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    SkillUp

    Fundamentals of Data Science in Healthcare

    Skills you'll gain: Interoperability, Medical Privacy, Clinical Data Management, Data Cleansing, Data Preprocessing, Health Informatics, Feature Engineering, Data Transformation, Health Insurance Portability And Accountability Act (HIPAA) Compliance, Data Quality, ICD Coding (ICD-9/ICD-10), Data Processing, Health Care, Health Information Management, Data Integration, Medical Records, Medical Coding, Data Validation, Electronic Medical Record, Machine Learning

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Simplilearn

    Foundations of Generative AI Models

    Skills you'll gain: Generative Model Architectures, Retrieval-Augmented Generation, Generative AI, Generative Adversarial Networks (GANs), Autoencoders, Model Evaluation, Large Language Modeling, Real Time Data, Scalability, Responsible AI, Transfer Learning, Natural Language Processing

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Michigan

    Muestreo de personas, redes y registros

    Skills you'll gain: Sampling (Statistics), Sample Size Determination, Data Collection, Surveys, Statistical Methods, Quantitative Research, Probability & Statistics, Research Design, Statistical Software

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    I

    IE Business School

    Market Research Essentials for Marketing Management

    Skills you'll gain: Market Research, Business Research, Customer Insights, Data-Driven Decision-Making, Quantitative Research, Market Analysis, Business Intelligence, Competitive Intelligence, Market Opportunities, Marketing, Data Collection

    Beginner · Course · 1 - 4 Weeks

1…235236237…410

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

  • AI & Deep Learning Concepts and Applications: Simplilearn
  • Cybersecurity Foundations & Threat Mitigation: Packt
  • Program Communications Management in ClickUp: Coursera
  • End to End LLMs with Azure: Duke University
  • Getting Started with Generative AI: Edureka
  • Foundations of Data Science and Machine Learning with Python: Packt
  • Building Financial Models for Entrepreneurs: Duke University
  • Cyber Security Technologies: Illinois Tech
  • Fundamentals of Data Science in Healthcare: SkillUp
  • Foundations of Generative AI Models: Simplilearn

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