• 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
    L

    LearnKartS

    Introduction to AI and Machine Learning

    Skills you'll gain: AWS SageMaker, Data Preprocessing, Computer Vision, Machine Learning Algorithms, Natural Language Processing, Machine Learning, Data Wrangling, Amazon Web Services, Reinforcement Learning, Deep Learning, Artificial Intelligence, Amazon Elastic Compute Cloud, Model Deployment, Amazon S3, Serverless Computing

    4.4
    Rating, 4.4 out of 5 stars
    ·
    9 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Pearson

    AWS Certified Machine Learning - Specialty

    Skills you'll gain: Model Deployment, Exploratory Data Analysis, Model Evaluation, Cloud Deployment, Data Preprocessing, Data Analysis, Amazon Elastic Compute Cloud, Application Deployment, Predictive Modeling, Data Pipelines, Extract, Transform, Load, Data Processing

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    Advanced Flutter UI and State Management

    Skills you'll gain: Flutter (Software), User Interface (UI) Design, User Interface (UI), JSON, Object Oriented Programming (OOP), Mobile Development, Data Structures, Data Modeling, Debugging

    5
    Rating, 5 out of 5 stars
    ·
    7 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    F

    Fundação Instituto de Administração

    Communication Principles for Leaders

    Skills you'll gain: Stakeholder Communications, Corporate Communications, Business Communication, Strategic Communication, Internal Communications, Communication, Public Relations, Leadership, Media Relations, Brand Management, Employee Engagement, Crisis Management

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    O

    Oracle

    Oracle Cloud Infrastructure Generative AI Professional

    Skills you'll gain: LangChain, Large Language Modeling, LLM Application, Generative AI, Retrieval-Augmented Generation, Vector Databases, Oracle Cloud, Prompt Engineering, Embeddings, Model Deployment

    4.8
    Rating, 4.8 out of 5 stars
    ·
    18 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    L

    LearnQuest

    Oracle SQL Exam Prep

    Skills you'll gain: SQL, Oracle Databases, Database Design, Relational Databases, Database Management, Databases, Query Languages, Data Modeling

    4.9
    Rating, 4.9 out of 5 stars
    ·
    15 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    H

    Howard University

    Capstone: Data Science Problem in Linear Algebra Framework

    Skills you'll gain: Data Wrangling, Regression Analysis, Dimensionality Reduction, Data Science, Python Programming, Data Preprocessing, Predictive Modeling, Data Analysis, Linear Algebra, Exploratory Data Analysis, Model Evaluation

    4.4
    Rating, 4.4 out of 5 stars
    ·
    8 reviews

    Mixed · Course · 1 - 4 Weeks

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

    Coursera

    Web Analytics & Reporting

    Skills you'll gain: Google Analytics, Web Analytics, Marketing Effectiveness, Marketing Analytics, Content Performance Analysis, Web Analytics and SEO, Looker (Software), Google Ads, Data Visualization, Data Visualization Software, Marketing Automation, Customer Insights, Campaign Management, Data-Driven Decision-Making, Business Reporting, Performance Reporting, Trend Analysis, Data Validation, Statistical Analysis, Key Performance Indicators (KPIs)

    Intermediate · Specialization · 3 - 6 Months

  • 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.8
    Rating, 4.8 out of 5 stars
    ·
    16 reviews

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    Nmap for Penetration Testing: From Beginner to Advanced

    Skills you'll gain: OSI Models, TCP/IP, Vulnerability Scanning, General Networking, Network Protocols, Cyber Security Assessment, Network Security, Network Monitoring, Network Administration, Vulnerability Assessments, Firewall, Performance Tuning, Threat Detection, Network Analysis, Scripting, System Configuration

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Virginia

    Coding with AI for MBAs

    Skills you'll gain: Model View Controller, Debugging, Integrated Development Environments, Software Design, User Interface (UI), Responsive Web Design, HTML and CSS, Data Modeling, Database Design, Web Design and Development, Software Development Tools, NoSQL, Database Architecture and Administration, Application Programming Interface (API), UI Components, OpenAI, ChatGPT, Web Applications, Version Control, Programming Principles

    Beginner · Specialization · 1 - 3 Months

1…239240241…389

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

  • Introduction to AI and Machine Learning: LearnKartS
  • AWS Certified Machine Learning - Specialty: Pearson
  • Advanced Flutter UI and State Management: Packt
  • Communication Principles for Leaders: Fundação Instituto de Administração
  • Oracle Cloud Infrastructure Generative AI Professional: Oracle
  • Oracle SQL Exam Prep: LearnQuest
  • Capstone: Data Science Problem in Linear Algebra Framework: Howard University
  • AI & Deep Learning Concepts and Applications: Simplilearn
  • Web Analytics & Reporting: Coursera
  • Managing Conflict: Packt

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