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

Results for "quantitative model checking"


  • O

    O.P. Jindal Global University

    Introduction to Psychology

    Skills you'll gain: Psychology, Mental Health Diseases and Disorders, Research Methodologies, Human Development, Research, Human Learning, Scientific Methods, Mental Health, Culture, Behavioral Health, Learning Theory, Stress Management, Biology, Experimentation, Neurology, Statistical Analysis

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 3 Months

  • L

    LearnKartS

    AWS AI Practitioner Certification Prep

    Skills you'll gain: Prompt Engineering, Responsible AI, Prompt Engineering Tools, Computer Vision, Machine Learning Algorithms, Data Wrangling, Deep Learning, Artificial Intelligence, Cloud Security, Amazon Elastic Compute Cloud, Embeddings, Model Deployment, MLOps (Machine Learning Operations), Artificial Intelligence and Machine Learning (AI/ML), Data Security, Amazon S3, Data Governance, Governance, Encryption, Public Cloud

    4.5
    Rating, 4.5 out of 5 stars
    ·
    12 reviews

    Beginner · Specialization · 1 - 3 Months

  • W

    Whizlabs

    Exam Prep DP-100: Microsoft Azure Data Scientist Associate

    Skills you'll gain: Model Deployment, Responsible AI, Statistical Modeling, Microsoft Azure, MLOps (Machine Learning Operations), Statistical Methods, Prompt Engineering, Data Science, Cloud Deployment, Retrieval-Augmented Generation, Artificial Intelligence and Machine Learning (AI/ML), Cloud Management, Model Evaluation, Data Management, AI Workflows, Azure Synapse Analytics, Cloud Computing, Data Pipelines, Continuous Monitoring, Machine Learning

    Intermediate · Specialization · 1 - 3 Months

  • C

    Coursera

    Strategic Sourcing & Supplier Selection

    Skills you'll gain: Strategic Sourcing, Supplier Management, Vendor Management, Contract Negotiation, Supplier Performance Management, Vendor Relationship Management, Supplier Relationship Management, Procurement, Cost Benefit Analysis, Financial Modeling, Negotiation, Market Research, Market Intelligence, Risk Management, Financial Analysis, Data-Driven Decision-Making, Process Improvement, Spreadsheet Software, Business Communication, Data Analysis

    Intermediate · Specialization · 3 - 6 Months

  • S

    Simplilearn

    LLM Application Engineering and Development Certification

    Skills you'll gain: LangChain, LLM Application, Large Language Modeling, AI Workflows, Retrieval-Augmented Generation, Embeddings, Generative AI, Model Evaluation, Hugging Face, Prompt Engineering, PyTorch (Machine Learning Library), Tensorflow, Semantic Web, Natural Language Processing, Artificial Intelligence, Application Development, Analytical Skills, Application Programming Interface (API), Supervised Learning, Computer Programming Tools

    3.2
    Rating, 3.2 out of 5 stars
    ·
    13 reviews

    Beginner · Specialization · 1 - 3 Months

  • D

    DeepLearning.AI

    Getting Started with Mistral

    Skills you'll gain: Prompt Engineering, Retrieval-Augmented Generation, Tool Calling, LLM Application, JSON, Large Language Modeling, Model Deployment, Artificial Intelligence

    4.6
    Rating, 4.6 out of 5 stars
    ·
    16 reviews

    Beginner · Project · Less Than 2 Hours

  • D

    Duke University

    Databricks to Local LLMs

    Skills you'll gain: Databricks, Model Deployment, Generative AI, Data Lakes, Extract, Transform, Load, MLOps (Machine Learning Operations), Data Transformation, Data Pipelines, Hugging Face, Large Language Modeling, Responsible AI, Analytics, Data Analysis, Data Processing, Data Science, Machine Learning

    3.9
    Rating, 3.9 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    LangChain MasterClass: Build 15 LLM Apps with Python

    Skills you'll gain: Prompt Engineering, LLM Application, OpenAI API, OpenAI, Large Language Modeling, Agentic systems, Hugging Face, Embeddings, Application Development, Program Development, AI Workflows, Data Processing, Application Frameworks

    3.5
    Rating, 3.5 out of 5 stars
    ·
    17 reviews

    Intermediate · Course · 3 - 6 Months

  • U

    University of Colorado Boulder

    Technology Entrepreneurship

    Skills you'll gain: Entrepreneurial Finance, Business Planning, Design Thinking, Business Modeling, Entrepreneurship, Target Market, Persona Development, Systems Thinking, Value Propositions, New Product Development, Technical Management, Financial Statements, Growth Strategies, Business Ethics, Market Opportunities, Intellectual Property, Gap Analysis, Financial Modeling, Engineering Management, Engineering

    Build toward a degree

    4.4
    Rating, 4.4 out of 5 stars
    ·
    52 reviews

    Beginner · Specialization · 3 - 6 Months

  • D

    DeepLearning.AI

    Prompt Engineering with Llama 2&3

    Skills you'll gain: Prompt Engineering, LLM Application, Large Language Modeling, Responsible AI, AI Security, Code Review, Computer Programming Tools

    4.4
    Rating, 4.4 out of 5 stars
    ·
    54 reviews

    Beginner · Project · Less Than 2 Hours

  • M

    MedCerts

    Mental Health Development, Difficulties, and Disorders

    Skills you'll gain: Child Development, Human Development, Mental Health Therapies, Pediatrics, Mental Health Diseases and Disorders, Mental Health, Psychology, Geriatrics, Behavioral Health, Empathy & Emotional Intelligence

    4.7
    Rating, 4.7 out of 5 stars
    ·
    29 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Pearson

    AWS Certified AI Practitioner (AIF-C01)

    Skills you'll gain: Responsible AI, Model Deployment, AI Security, Artificial Intelligence and Machine Learning (AI/ML), Generative AI, Prompt Engineering, Artificial Intelligence, AI Enablement, Amazon Web Services, Machine Learning, Business Solutions, Infrastructure Security, Compliance Management, Model Evaluation, Governance

    4.6
    Rating, 4.6 out of 5 stars
    ·
    19 reviews

    Intermediate · Course · 1 - 3 Months

1…222223224…393

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

  • Introduction to Psychology: O.P. Jindal Global University
  • AWS AI Practitioner Certification Prep: LearnKartS
  • Exam Prep DP-100: Microsoft Azure Data Scientist Associate: Whizlabs
  • Strategic Sourcing & Supplier Selection: Coursera
  • LLM Application Engineering and Development Certification: Simplilearn
  • Getting Started with Mistral: DeepLearning.AI
  • Databricks to Local LLMs: Duke University
  • LangChain MasterClass: Build 15 LLM Apps with Python: Packt
  • Technology Entrepreneurship: University of Colorado Boulder
  • Prompt Engineering with Llama 2&3: 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