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

Results for "quantitative model checking"


  • Status: New
    New
    Status: Free
    Free
    A

    Amazon Web Services

    AWS Artificial Intelligence Practitioner

    Skills you'll gain: Responsible AI, Generative AI, Artificial Intelligence and Machine Learning (AI/ML), AWS SageMaker, Amazon Web Services, AI Enablement, AI Security, Applied Machine Learning, Prompt Engineering, Large Language Modeling, Model Deployment, Machine Learning, Data Governance

    4.5
    Rating, 4.5 out of 5 stars
    ·
    26 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free
    Free
    A

    Amazon Web Services

    Introduction to Serverless Development v01.01.00

    Skills you'll gain: Serverless Computing, Amazon Web Services, Cloud Computing Architecture, Development Environment, Software Development Tools, Cloud Development, Software Development, Cloud Applications

    4.6
    Rating, 4.6 out of 5 stars
    ·
    14 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Managing Conflict

    Skills you'll gain: Conflict Management, Active Listening, Mediation, Teamwork, Collaboration, De-escalation Techniques, Negotiation, Leadership, Interpersonal Communications, Emotional Intelligence, Empathy, Accountability

    4.7
    Rating, 4.7 out of 5 stars
    ·
    18 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    Università di Napoli Federico II

    Robotics Foundations I - Robot Modelling

    Skills you'll gain: Robotics, Simulation and Simulation Software

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    O

    O.P. Jindal Global University

    Econometrics - Theory and Practice

    Skills you'll gain: Econometrics, Regression Analysis, Probability & Statistics, Statistical Modeling, Statistical Analysis, Correlation Analysis, Time Series Analysis and Forecasting, Economics, Statistical Inference, Probability Distribution, Logistic Regression, Model Evaluation

    Build toward a degree

    Beginner · Course · 1 - 3 Months

  • G

    Google Cloud

    Working with Notebooks in Vertex AI

    Skills you'll gain: Jupyter, MLOps (Machine Learning Operations), Google Cloud Platform, Model Deployment, AI Workflows, Applied Machine Learning, Data Preprocessing

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    S

    Splunk Inc.

    Splunk Knowledge Manager 102

    Skills you'll gain: Data Modeling, Splunk, Pivot Tables And Charts, Data Management, Database Management, Query Languages, Data Integration, Performance Tuning, Data Science, Data Analysis, Big Data, Business Intelligence, Business Analytics, Geospatial Information and Technology, Statistics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    18 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    PowerShell for Automating Administration

    Skills you'll gain: Windows PowerShell, Scripting, Automation, Windows Servers, Data Validation, Server Administration, Administration, Software Installation, Cloud Deployment, Service Management, Remote Access Systems, Extensible Markup Language (XML), Debugging

    2.8
    Rating, 2.8 out of 5 stars
    ·
    8 reviews

    Beginner · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    M

    Microsoft

    Core generative models and techniques

    Skills you'll gain: Generative AI, Generative Model Architectures, MLOps (Machine Learning Operations), Generative Adversarial Networks (GANs), Model Deployment, Model Evaluation, Microsoft Azure, PyTorch (Machine Learning Library), Deep Learning, Time Series Analysis and Forecasting, Cloud Deployment, Tensorflow, Image Analysis, Data Preprocessing, Forecasting, Prototyping

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    N

    Northeastern University

    Ethics and Governance in the Age of Generative AI

    Skills you'll gain: Responsible AI, Generative AI, AI Workflows, Data Ethics, Model Evaluation, Data Governance, Governance, Artificial Intelligence, Machine Learning, Ethical Standards And Conduct, Organizational Strategy, Social Impact, Benchmarking, Emerging Technologies

    4.5
    Rating, 4.5 out of 5 stars
    ·
    6 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of California, Davis

    ‏SQL لعلوم البيانات

    Skills you'll gain: SQL, Data Manipulation, Data Analysis, Business Analytics, Query Languages, Databases, Relational Databases, Data Management, Data Modeling, Data Integration

    Beginner · Course · 1 - 4 Weeks

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

    Coursera

    Microservices Architecture for AI Systems

    Skills you'll gain: Retrieval-Augmented Generation, Model Deployment, LLM Application, LangChain, Large Language Modeling, Microservices, Test Driven Development (TDD), Software Architecture, Scalability, MLOps (Machine Learning Operations), Cloud Deployment, Cloud Computing Architecture, API Design, Site Reliability Engineering, Kubernetes, Prompt Engineering, Containerization, Infrastructure as Code (IaC), Python Programming, Performance Analysis

    Intermediate · Specialization · 1 - 3 Months

1…256257258…407

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

  • AWS Artificial Intelligence Practitioner: Amazon Web Services
  • Introduction to Serverless Development v01.01.00: Amazon Web Services
  • Managing Conflict: Packt
  • Robotics Foundations I - Robot Modelling: Università di Napoli Federico II
  • Econometrics - Theory and Practice: O.P. Jindal Global University
  • Working with Notebooks in Vertex AI: Google Cloud
  • Splunk Knowledge Manager 102: Splunk Inc.
  • PowerShell for Automating Administration: Packt
  • Core generative models and techniques: Microsoft
  • Ethics and Governance in the Age of Generative AI: Northeastern University

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