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

Results for "quantitative model checking"


  • L

    L&T EduTech

    Geospatial Technology for Construction

    Skills you'll gain: Construction Engineering, Geospatial Mapping, Geospatial Information and Technology, Geographic Information Systems, Spatial Data Analysis, Construction, Construction Management, Civil and Architectural Engineering, Spatial Analysis, Global Positioning Systems, GIS Software, Scientific Visualization, Survey Creation, Engineering, Scientific, and Technical Instruments, AutoCAD Civil 3D, 3D Modeling

    ★ 4.8 (21) · Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    Universitat de Barcelona

    THINK GLOBAL: TEACHERS TRAINING COURSE (IDP-ICE)

    Skills you'll gain: Education and Training, Intercultural Competence, Teaching, Training Programs, Cultural Sensitivity, Cultural Diversity, Curriculum Planning, Instructional Strategies, Student Engagement, Research, Research Methodologies, International Relations, Student-Centred Learning, Surveys, Pedagogy, Diversity Awareness, Sustainable Development

    ★ 4.7 (171) · Beginner · Course · 1 - 3 Months

    Category: Free
    Free
    Category: Credit offered
    Credit offered
  • M

    Microsoft

    Media Relations and Crisis Management

    Skills you'll gain: Media Relations, Internal Communications, Crisis Management, Strategic Communication, Communication Planning, Public Relations, Media Strategy, Communication Strategies, Stakeholder Communications, AI literacy, AI Integrations, Real Time Data

    ★ 4.8 (41) · Beginner · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Data Modeling with Power BI: Advanced DAX Calculations

    Skills you'll gain: Data Analysis Expressions (DAX), Power BI, Business Requirements, Financial Data, Data Modeling, Financial Analysis, Data Visualization Software, Time Series Analysis and Forecasting, Data Visualization, Data Import/Export

    ★ 4.5 (17) · Intermediate · Guided Project · Less Than 2 Hours

    Category: Credit offered
    Credit offered
  • C

    Coursera

    Optimizing the Clinic: Basics of Medical Office Management

    Skills you'll gain: Patient Registration, Medical Records, Medical Billing and Coding, Medical Office Procedures, Health Insurance Portability And Accountability Act (HIPAA) Compliance, Patient Communication, Health Information Management, Revenue Cycle Management, Electronic Medical Record, Records Management, Clinical Documentation, Patient Safety, Care Coordination, Data Entry, Scheduling, Inventory Management System, Medical Terminology, Regulatory Compliance, Key Performance Indicators (KPIs), Quality Assurance

    ★ 4.4 (14) · Beginner · Specialization · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Houston

    Value-Based Care: Reimbursement Models

    Skills you'll gain: Value-Based Care, ICD Coding (ICD-9/ICD-10), Medical Billing and Coding, Medical Coding, CPT Coding, Medical Billing, Health Information Management, Payment Systems, Health Systems, Health Policy, Health Care, Medicare, Risk Analysis, Health Education, Public Health

    ★ 4.4 (47) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    University of Colorado System

    AI Integration in Healthcare

    Skills you'll gain: Machine Learning Algorithms, Model Training, Human Factors (Security), Machine Learning, Model Evaluation, Artificial Intelligence, Supervised Learning, Predictive Modeling, AI Integrations, Diagnostic Tests, Reinforcement Learning, Descriptive Analytics

    Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • L

    LearnKartS

    Salesforce Admin & App Builder Certification Prep

    Skills you'll gain: Salesforce, Salesforce Development, Application Deployment, Workflow Management, Dashboard, Data Import/Export, Ad Hoc Reporting, Change Control, Email Automation, Data Maintenance, Authentications, Customer Relationship Management (CRM) Software, Configuration Management, Data Access, Responsive Web Design, System Configuration, Role-Based Access Control (RBAC), Data Management, Customer Relationship Management, Business Logic

    ★ 4.2 (9) · Beginner · Specialization · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    Edureka

    Building AI Agents with OpenAI

    Skills you'll gain: Model Context Protocol, OpenAI API, Retrieval-Augmented Generation, AI Workflows, AI Orchestration, OpenAI, Model Deployment, LLM Application, Agentic Workflows, Generative AI Agents, AI Integrations, Embeddings, Cloud Deployment, Artificial Intelligence and Machine Learning (AI/ML), Application Deployment, Decision Intelligence, Agentic systems, Prompt Engineering, Application Programming Interface (API), Responsible AI

    Intermediate · Specialization · 1 - 3 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • E

    Edureka

    Autonomous AI Agent Systems and Orchestration

    Skills you'll gain: LangGraph, AI Orchestration, Model Deployment, Retrieval-Augmented Generation, AI Workflows, Generative AI Agents, CrewAI, Agentic Workflows, LangChain, AI Integrations, LLM Application, Agentic systems, OpenAI, Systems Integration, Tool Calling, Google Gemini, Workflow Management, Automation, Prompt Engineering, Responsible AI

    Intermediate · Specialization · 1 - 3 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • K

    Khalifa University

    AI for Executives

    Skills you'll gain: Data Strategy, Customer Relationship Management (CRM) Software, Data Management, AI Personalization, Sales Enablement, Model Deployment, Feature Engineering, Data Governance, Responsible AI, Model Evaluation, AI Integrations, Data Preprocessing, Customer Analysis, Transfer Learning, Customer Data Management, Artificial Intelligence, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Reinforcement Learning, Natural Language Processing

    ★ 4.3 (7) · Beginner · Specialization · 3 - 6 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Basics of Healthcare Data Analytics: Boost Patient Outcomes

    Skills you'll gain: Data Integrity, Health Insurance Portability And Accountability Act (HIPAA) Compliance, Dashboard, Data Storytelling, Health Information Management, Data Cleansing, Health Informatics, Data Governance, Clinical Data Management, Patient Safety, Data Visualization, Health Care Procedure and Regulation, Data Security, Data Analysis, Data Validation, Data Transformation, Excel Formulas, Data Literacy, Statistical Analysis, Microsoft Excel

    Beginner · Specialization · 3 - 6 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…221222223…444

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

  • Geospatial Technology for Construction : L&T EduTech
  • THINK GLOBAL: TEACHERS TRAINING COURSE (IDP-ICE): Universitat de Barcelona
  • Media Relations and Crisis Management: Microsoft
  • Data Modeling with Power BI: Advanced DAX Calculations : Coursera
  • Optimizing the Clinic: Basics of Medical Office Management: Coursera
  • Value-Based Care: Reimbursement Models: University of Houston
  • AI Integration in Healthcare: University of Colorado System
  • Salesforce Admin & App Builder Certification Prep: LearnKartS
  • Building AI Agents with OpenAI: Edureka
  • Autonomous AI Agent Systems and Orchestration: Edureka

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