• 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
    Free
    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
    ·
    55 reviews

    Beginner · Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Introduction to Prompt Injection Vulnerabilities

    Skills you'll gain: AI Security, Large Language Modeling, Cybersecurity, Prompt Engineering, Cyber Security Strategy, Threat Modeling, Cyber Security Assessment, Risk Analysis, Application Security, Vulnerability Assessments, Network Security

    3.7
    Rating, 3.7 out of 5 stars
    ·
    20 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    F

    Fundação Instituto de Administração

    Inteligência Artificial Aplicada ao CRM

    Skills you'll gain: Customer Relationship Management, Customer Data Management, Big Data, Data Mining, Data-Driven Decision-Making, Predictive Analytics, Sales Management, Ggplot2, Data Visualization Software, Plot (Graphics), Data Modeling, R Programming, Customer Insights, Customer Acquisition Management, Analytics, Customer experience strategy (CX), Customer Retention, Data Manipulation, Applied Machine Learning, Machine Learning Algorithms

    4.4
    Rating, 4.4 out of 5 stars
    ·
    105 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    N

    National Taiwan University

    機器學習技法 (Machine Learning Techniques)

    Skills you'll gain: Feature Engineering, Machine Learning Algorithms, Supervised Learning, Random Forest Algorithm, Machine Learning, Decision Tree Learning, Deep Learning, Classification Algorithms, Artificial Neural Networks, Embeddings, Dimensionality Reduction, Logistic Regression, Regression Analysis

    4.9
    Rating, 4.9 out of 5 stars
    ·
    35 reviews

    Intermediate · Course · 3 - 6 Months

  • Status: Preview
    Preview
    W

    Whizlabs

    Exam Prep AIF-C01: AWS Certified AI Practitioner

    Skills you'll gain: Amazon Bedrock, Prompt Engineering, Responsible AI, AI Security, Generative AI, MLOps (Machine Learning Operations), AWS SageMaker, Artificial Intelligence and Machine Learning (AI/ML), Amazon Web Services, AWS Identity and Access Management (IAM), Amazon S3, Model Deployment, Model Evaluation, Natural Language Processing

    4.3
    Rating, 4.3 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Robotic Mapping and Trajectory Generation

    Skills you'll gain: Robotics, Data Mapping, Real-Time Operating Systems, Simulations, Linear Algebra, Python Programming, Algorithms, Computer Programming

    Build toward a degree

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    3ds Max Architectural Rendering Masterclass

    Skills you'll gain: 3D Modeling, Autodesk, 3D Assets, Design Software, Visualization (Computer Graphics), Computer Graphics, Editing, Virtual Environment, Simulations

    4.8
    Rating, 4.8 out of 5 stars
    ·
    69 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Advanced Understanding of Stocks and Bonds

    Skills you'll gain: Securities (Finance), Equities, Investments, Financial Analysis, Financial Market, Corporate Finance, Business Valuation, Financial Modeling, Finance, Return On Investment, Risk Analysis, Cash Flows, Growth Strategies

    4.6
    Rating, 4.6 out of 5 stars
    ·
    65 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Oracle PL/SQL 21c: Programming & Triggers

    Skills you'll gain: Oracle SQL Developer, Data Integrity, Oracle Databases, Business Logic, Stored Procedure, SQL, Database Design, Database Development, Performance Tuning, Relational Databases, Database Application, Database Management, Data Access, Programming Principles, Computational Logic, Debugging, Event-Driven Programming, Maintainability, Auditing, Data Validation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    50 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Intro to TensorFlow en Español

    Skills you'll gain: Tensorflow, Keras (Neural Network Library), Model Deployment, Google Cloud Platform, Data Pipelines, Jupyter, Deep Learning, Pandas (Python Package), Predictive Modeling, NumPy, Data Preprocessing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    137 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    D

    Dassault Systèmes

    xDesign Foundations: Sketching and Extrusion

    Skills you'll gain: SolidWorks (CAD), Computer-Aided Design, 3D Modeling, Engineering Design Process, Mechanical Design, Mechanical Engineering

    4.2
    Rating, 4.2 out of 5 stars
    ·
    12 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Scrimba

    Intro to Claude AI

    Skills you'll gain: Anthropic Claude, OpenAI API, Prompt Engineering, LLM Application, Generative AI, Large Language Modeling, Multimodal Prompts, Artificial Intelligence, Responsible AI, Cloud Deployment, Restful API, API Design

    4.5
    Rating, 4.5 out of 5 stars
    ·
    25 reviews

    Intermediate · Course · 1 - 4 Weeks

1…214215216…408

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

  • Prompt Engineering with Llama 2&3: DeepLearning.AI
  • Introduction to Prompt Injection Vulnerabilities: Coursera
  • Inteligência Artificial Aplicada ao CRM: Fundação Instituto de Administração
  • 機器學習技法 (Machine Learning Techniques): National Taiwan University
  • Exam Prep AIF-C01: AWS Certified AI Practitioner: Whizlabs
  • Robotic Mapping and Trajectory Generation: University of Colorado Boulder
  • 3ds Max Architectural Rendering Masterclass: EDUCBA
  • Advanced Understanding of Stocks and Bonds: University of Michigan
  • Oracle PL/SQL 21c: Programming & Triggers: EDUCBA
  • Intro to TensorFlow en Español: Google Cloud

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