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

Results for "quantitative model checking"


  • U

    University of Illinois Urbana-Champaign

    Value Chain Management

    Skills you'll gain: Management Accounting, Operations Management, Marketing Planning, Organizational Strategy, Marketing, Performance Measurement, Product Strategy, Supply Chain, Continuous Improvement Process, Manufacturing Operations, Operational Analysis, Integrated Marketing Communications, Business Operations, Operations, Marketing Management, Process Improvement, Cost Accounting, Performance Analysis, Supply Chain Management, Quality Control

    Build toward a degree

    4.7
    Rating, 4.7 out of 5 stars
    ·
    5.2K reviews

    Intermediate · Specialization · 3 - 6 Months

  • C

    Coursera

    Apply AI Techniques & Prescriptives

    Skills you'll gain: Operations Research, Strategic Thinking, Strategic Decision-Making, Business Strategy, AI Enablement, Business Analytics, Operational Analysis, Advanced Analytics, Analytics, Process Optimization, Applied Machine Learning, Process Improvement and Optimization, Predictive Modeling, Predictive Analytics, Artificial Intelligence, Statistical Modeling, Decision Making, Resource Allocation, Performance Analysis, Model Evaluation

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Develop a Ride-Sharing App Using Swift and Firebase

    Skills you'll gain: Apple iOS, Mobile Development, Apple Xcode, Swift Programming, UI Components, User Interface (UI), Application Development, User Interface (UI) Design, Authentications, Secure Coding, Application Frameworks, Geospatial Information and Technology, Program Development, Real Time Data, Storyboarding, Databases, Debugging, Data Validation

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    Introduction to Chatbots - Build Your First AI Assistant

    Skills you'll gain: ChatGPT, Google Gemini, Model Deployment, Development Environment, Gemini, Cloud Deployment, LLM Application, Artificial Intelligence, Prompt Engineering, Generative AI, Application Deployment, Machine Learning Software, Application Development, Python Programming, Software Development Tools

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Orchestrate, Analyze, and Evaluate ML Pipelines

    Skills you'll gain: Feature Engineering, Data Pipelines, Apache Airflow, MLOps (Machine Learning Operations), Data Preprocessing, Service Level, Model Evaluation, Real Time Data, Data Store, Data Transformation, Data Validation, Key Performance Indicators (KPIs)

    Intermediate · Course · 1 - 4 Weeks

  • E

    Erasmus University Rotterdam

    Advanced Valuation and Strategy - M&A, Private Equity, and Venture Capital

    Skills you'll gain: Strategic Decision-Making, Business Valuation, Private Equity, Mergers & Acquisitions, Game Theory, Strategic Thinking, Financial Analysis, Business Strategy, Return On Investment, Investment Banking, Cash Flows, Corporate Finance, Competitive Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.4K reviews

    Advanced · Course · 1 - 3 Months

  • C

    Coursera

    AI-Driven Financial Planning, Forecasting, and Automation

    Skills you'll gain: Financial Forecasting, Financial Data, Variance Analysis, Financial Analysis, Budgeting, Financial Modeling, Cash Flow Forecasting, Cost Management, Supervised Learning, Financial Planning, Applied Machine Learning, Predictive Modeling, Risk Modeling, Data-Driven Decision-Making, Business Analytics, Risk Analysis, Credit Risk, Model Evaluation, Feature Engineering, Data Pipelines

    Intermediate · Course · 1 - 3 Months

  • E

    EDUCBA

    Create & Evaluate Advanced SketchUp 3D Models

    Skills you'll gain: SketchUp (3D Modeling Software), 3D Modeling, Architectural Drawing, Architectural Design, Spatial Analysis, AutoCAD, 3D Assets, Visualization (Computer Graphics), Data Mapping, Design Software, Computer Graphics, Mockups, Layout Design, Computer Graphic Techniques, Graphic and Visual Design, Technical Communication, UI Components, Color Theory, Microsoft Office, Data Import/Export

    Beginner · Specialization · 1 - 3 Months

  • G

    Google

    The Nuts and Bolts of Machine Learning

    Skills you'll gain: Feature Engineering, Decision Tree Learning, Applied Machine Learning, Supervised Learning, Advanced Analytics, Machine Learning, Machine Learning Algorithms, Unsupervised Learning, Analytics, Random Forest Algorithm, Data Analysis, Predictive Modeling, Model Evaluation, Bayesian Network, Python Programming, Statistical Modeling, Classification Algorithms

    4.8
    Rating, 4.8 out of 5 stars
    ·
    611 reviews

    Advanced · Course · 1 - 3 Months

  • L

    LearnKartS

    Information Security Incident Management

    Skills you'll gain: Incident Management, Incident Response, Computer Security Incident Management, Disaster Recovery, Security Management, Business Continuity, Threat Management, Crisis Management, Business Continuity Planning, Contingency Planning, Gap Analysis, Risk Analysis, Legal Risk, Digital Forensics, Continuous Improvement Process, Governance Risk Management and Compliance, Risk Mitigation, Team Management

    Mixed · Course · 1 - 4 Weeks

  • I

    IBM

    Applied Data Science Capstone

    Skills you'll gain: Model Evaluation, Exploratory Data Analysis, Plotly, Statistical Reporting, Predictive Modeling, Interactive Data Visualization, Data Visualization Software, Applied Machine Learning, Data Science, Data Analysis, Classification And Regression Tree (CART), Data-Driven Decision-Making, Pandas (Python Package), Data Wrangling, Data Collection, GitHub

    4.7
    Rating, 4.7 out of 5 stars
    ·
    7.4K reviews

    Intermediate · Course · 1 - 3 Months

  • C

    Coursera

    Chroma, Weaviate & Production RAG Deployment

    Skills you'll gain: Retrieval-Augmented Generation, Vector Databases, Generative AI, Performance Tuning, Data Migration, LangChain, LLM Application, Metadata Management, Document Management, Data Infrastructure, Large Language Modeling, Prompt Patterns, Embeddings, Data Modeling, Agentic systems, Data Integrity, Scalability, Docker (Software), Semantic Web, Query Languages

    Intermediate · Specialization · 3 - 6 Months

1…394041…399

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

  • Value Chain Management: University of Illinois Urbana-Champaign
  • Apply AI Techniques & Prescriptives: Coursera
  • Develop a Ride-Sharing App Using Swift and Firebase: EDUCBA
  • Introduction to Chatbots - Build Your First AI Assistant: Packt
  • Orchestrate, Analyze, and Evaluate ML Pipelines: Coursera
  • Advanced Valuation and Strategy - M&A, Private Equity, and Venture Capital: Erasmus University Rotterdam
  • AI-Driven Financial Planning, Forecasting, and Automation: Coursera
  • Create & Evaluate Advanced SketchUp 3D Models: EDUCBA
  • The Nuts and Bolts of Machine Learning: Google
  • Information Security Incident Management: LearnKartS

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