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

Results for "quantitative model checking"


  • P

    Packt

    AI Engineering and Deployment

    Skills you'll gain: Model Deployment, Tensorflow, Recurrent Neural Networks (RNNs), BeeAI, Keras (Neural Network Library), Transfer Learning, Deep Learning, Convolutional Neural Networks, Responsible AI, Agentic systems, Artificial Intelligence, AI Security, Scalability, Applied Machine Learning, Machine Learning

    Advanced · Course · 1 - 4 Weeks

  • P

    Packt

    Tableau Prep Masterclass - Build and Automate Data Flows

    Skills you'll gain: Data Transformation, Data Wrangling, Data Manipulation, Data Integration, Data Preprocessing, Data Cleansing, Data Analysis, Tableau Software, Data Pipelines, Exploratory Data Analysis, Dashboard, Dataflow, Pivot Tables And Charts, Data Validation

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Automate, Optimize, and Benchmark Data Pipelines

    Skills you'll gain: Performance Analysis, Performance Testing, Performance Measurement, Benchmarking, Data Modeling, Data Processing, Extract, Transform, Load, Data-Driven Decision-Making, Statistical Analysis

    Advanced · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply RxSwift to Build Reactive iOS E-Commerce Apps

    Skills you'll gain: Swift Programming, Apple iOS, Application Development, Mobile Development, Software Architecture, Application Design, Secure Coding, Software Design Patterns, UI Components, Data Validation, User Interface (UI)

    Intermediate · Course · 1 - 4 Weeks

  • P

    Pragmatic AI Labs

    Generative AI and LLMs on Databricks

    Skills you'll gain: Prompt Engineering, Retrieval-Augmented Generation, Generative AI, Prompt Engineering Tools, Generative AI Agents, LLM Application, OpenAI, Claude Code, Anthropic Claude, Rust (Programming Language), Databricks, Embeddings, MLOps (Machine Learning Operations), Vector Databases, Data Architecture, DevOps, Python Programming, Software Architecture, Scala Programming, Governance

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Validate Multimodal Data: Ensure Quality

    Skills you'll gain: Data Integrity, Verification And Validation, Reconciliation, Debugging, Auditing

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Build & Apply React Native Apps with Product & Profile Flows

    Skills you'll gain: React Native, Application Development, Data Validation, Mobile Development, Data Persistence, Application Design, User Interface (UI), Web Applications, Software Design, Authentications, User Interface (UI) Design, Application Programming Interface (API), Verification And Validation, Data Storage Technologies

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    GenAI Wellness: Prompt, Evaluate, Thrive

    Skills you'll gain: Prompt Engineering, Patient Preparation, Health And Wellness Coaching, Responsible AI, Empathy & Emotional Intelligence, Model Evaluation, User Acceptance Testing (UAT), Artificial Intelligence, Crisis Intervention, Risk Analysis, Technical Communication, Decision Making

    Beginner · Course · 1 - 4 Weeks

  • W

    Whizlabs

    Generative AI for Azure Cloud Engineers

    Skills you'll gain: Responsible AI, Retrieval-Augmented Generation, Generative AI, Microsoft Copilot, Microsoft Azure, OpenAI API, Prompt Engineering, AI Security, OpenAI, Model Deployment, Microsoft Power Platform, LLM Application, AI Workflows, Microsoft Office, Natural Language Processing

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Alberta

    Fundamentals of Reinforcement Learning

    Skills you'll gain: Reinforcement Learning, Machine Learning, Machine Learning Algorithms, Artificial Intelligence, Markov Model, Algorithms, Probability Distribution

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.9K reviews

    Intermediate · Course · 1 - 3 Months

  • A

    Alex Genadinik

    Introduction to Stablecoins: How And When To Use Them

    Skills you'll gain: Market Liquidity, Payment Systems, Blockchain, Financial Analysis, Risk Management, Digital Assets, FinTech, Financial Regulation, Financial Trading, International Finance

    Mixed · Course · 1 - 3 Months

  • E

    Edureka

    Developing MCP-Powered Agentic AI Systems

    Skills you'll gain: Model Context Protocol, Model Deployment, AI Orchestration, AI Workflows, LangGraph, Agentic systems, Middleware, Scalability, Interoperability, LLM Application, Application Deployment, Artificial Intelligence and Machine Learning (AI/ML), LangChain, Prompt Engineering, Artificial Intelligence, Generative AI, Google Gemini, Application Programming Interface (API), Python Programming, Performance Analysis

    Advanced · Course · 1 - 4 Weeks

1…606162…393

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

  • AI Engineering and Deployment: Packt
  • Tableau Prep Masterclass - Build and Automate Data Flows: Packt
  • Automate, Optimize, and Benchmark Data Pipelines: Coursera
  • Apply RxSwift to Build Reactive iOS E-Commerce Apps: EDUCBA
  • Generative AI and LLMs on Databricks: Pragmatic AI Labs
  • Validate Multimodal Data: Ensure Quality: Coursera
  • Build & Apply React Native Apps with Product & Profile Flows: EDUCBA
  • GenAI Wellness: Prompt, Evaluate, Thrive: Coursera
  • Generative AI for Azure Cloud Engineers: Whizlabs
  • Fundamentals of Reinforcement Learning: University of Alberta

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