• 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

    Classify Radio Signals with PyTorch

    Skills you'll gain: PyTorch (Machine Learning Library), Transfer Learning, Convolutional Neural Networks, Digital Signal Processing, Image Analysis, Classification Algorithms, Model Evaluation, Deep Learning, Computer Vision, Telecommunications

    3.7
    Rating, 3.7 out of 5 stars
    ·
    12 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    P

    Packt

    Advanced PyTorch Techniques and Applications

    Skills you'll gain: PyTorch (Machine Learning Library), Natural Language Processing, Generative Adversarial Networks (GANs), Transfer Learning, Vision Transformer (ViT), Deep Learning, Unsupervised Learning, Embeddings, Convolutional Neural Networks, Applied Machine Learning, Supervised Learning, Model Evaluation, Model Deployment, Flask (Web Framework)

    4.5
    Rating, 4.5 out of 5 stars
    ·
    27 reviews

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Validate HTML Forms with JavaScript and HTML

    Skills you'll gain: Data Validation, Hypertext Markup Language (HTML), Verification And Validation, Javascript, Web Applications

    4.7
    Rating, 4.7 out of 5 stars
    ·
    19 reviews

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Build Powerful AI Agents with OpenAI Tools

    Skills you'll gain: AI Orchestration, AI Workflows, LangGraph, Generative AI Agents, Agentic systems, OpenAI API, Model Deployment, Enterprise Application Management, Tool Calling, OAuth, Middleware, Prompt Engineering, Interoperability, API Gateway, LLM Application, Agentic Workflows, Enterprise Architecture, Software Development Tools, Application Deployment, Role-Based Access Control (RBAC)

    Intermediate · Professional Certificate · 3 - 6 Months

  • Status: Preview
    Preview
    W

    Whizlabs

    Getting Started with Apache Cassandra

    Skills you'll gain: Apache Cassandra, NoSQL, Data Store, Databases, Database Management Systems, Application Deployment, Database Architecture and Administration, Query Languages, Database Management, Data Storage, System Monitoring, Data Maintenance, Distributed Computing, Application Security, Data Modeling, Data Security, Scalability

    Beginner · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    A

    AI CERTs

    Prompt Engineering Mastery

    Skills you'll gain: Prompt Engineering, Prompt Engineering Tools, Prompt Patterns, Responsible AI, OpenAI, LLM Application, Generative AI, LangChain, Generative AI Agents, ChatGPT, Large Language Modeling, Vibe coding, Natural Language Processing, Artificial Intelligence, AI Personalization, Debugging, Ideation, Productivity, Code Review, Computer Programming Tools

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Foundations of Machine Learning

    Skills you'll gain: Model Evaluation, Supervised Learning, Unsupervised Learning, Data Preprocessing, Time Series Analysis and Forecasting, Applied Machine Learning, Machine Learning Algorithms, Feature Engineering, Dimensionality Reduction, Machine Learning, Predictive Modeling, Predictive Analytics, Scikit Learn (Machine Learning Library), Classification Algorithms, Forecasting, Decision Tree Learning, Anomaly Detection, Data Manipulation, Regression Analysis, Statistical Modeling

    4.7
    Rating, 4.7 out of 5 stars
    ·
    13 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Essential Causal Inference Techniques for Data Science

    Skills you'll gain: Regression Analysis, Data Science, Machine Learning Methods, R Programming, Statistical Inference, Applied Machine Learning, Machine Learning, Statistical Methods, Advanced Analytics, Data Analysis, Predictive Modeling

    4.5
    Rating, 4.5 out of 5 stars
    ·
    39 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    I

    ISAE-SUPAERO

    Developments of structural dynamics

    Skills you'll gain: Finite Element Methods, Structural Engineering, Vibrations, Engineering Analysis, Mathematical Modeling, Mechanical Engineering, Linear Algebra, Numerical Analysis, Control Systems, Differential Equations

    4.4
    Rating, 4.4 out of 5 stars
    ·
    14 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    International Business Entry Strategies

    Skills you'll gain: Global Marketing, Export Control, Mergers & Acquisitions, Risk Management, Business Development, International Relations, Market Analysis, Franchising, New Business Development, Target Market, Cultural Diversity, Cultural Sensitivity, Business Strategy

    4.8
    Rating, 4.8 out of 5 stars
    ·
    91 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    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

  • Status: Preview
    Preview
    C

    Clemson University

    Human-Centered Artificial Intelligence

    Skills you'll gain: Responsible AI, Artificial Intelligence, Data Ethics, Artificial Intelligence and Machine Learning (AI/ML), Human Centered Design, Human Computer Interaction, Generative AI, Machine Learning, Model Evaluation, Ethical Standards And Conduct

    Build toward a degree

    3.9
    Rating, 3.9 out of 5 stars
    ·
    19 reviews

    Intermediate · Course · 1 - 3 Months

1…223224225…406

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

  • Classify Radio Signals with PyTorch: Coursera
  • Advanced PyTorch Techniques and Applications: Packt
  • Validate HTML Forms with JavaScript and HTML: Coursera
  • Build Powerful AI Agents with OpenAI Tools: Coursera
  • Getting Started with Apache Cassandra: Whizlabs
  • Prompt Engineering Mastery: AI CERTs
  • Foundations of Machine Learning: Coursera
  • Essential Causal Inference Techniques for Data Science: Coursera
  • Developments of structural dynamics: ISAE-SUPAERO
  • International Business Entry Strategies : University of Colorado Boulder

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