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

Results for "model checking"


  • D

    Duke University

    AI Product Management

    Skills you'll gain: Deep Learning, MLOps (Machine Learning Operations), Responsible AI, Model Evaluation, Data Ethics, Data Management, Project Management Life Cycle, Unsupervised Learning, Human Computer Interaction, User Experience Design, Classification And Regression Tree (CART), Data Quality, Model Deployment, Data Preprocessing, Human Centered Design, Machine Learning, Project Management, Product Management, Product Design, Data Science

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

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Master Agentic AI: Core Principles & Real-World PC

    Skills you'll gain: Threat Modeling, Feature Engineering, Anomaly Detection, Data Visualization, Data Presentation, MLOps (Machine Learning Operations), Agentic Workflows, AI Security, A/B Testing, Open Web Application Security Project (OWASP), Software Engineering, Data Ethics, Responsible AI, Technical Communication, Security Testing, Security Requirements Analysis, Agentic systems, Continuous Monitoring, CI/CD, Reinforcement Learning

    Intermediate · Professional Certificate · 3 - 6 Months

  • E

    Edureka

    Applied Machine Learning Without Coding

    Skills you'll gain: Model Evaluation, Classification Algorithms, Regression Analysis, Data Science, Statistical Modeling, Predictive Modeling, Exploratory Data Analysis, Machine Learning, Data Analysis, Applied Machine Learning, Machine Learning Algorithms, Feature Engineering, Random Forest Algorithm, Supervised Learning, Logistic Regression, Data Processing, Data Preprocessing, Predictive Analytics, Data Manipulation, Data Visualization

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Apply Dart Programming from Fundamentals to Advanced

    Skills you'll gain: Scalability, Application Design, Event-Driven Programming, Object Oriented Programming (OOP), Functional Design, Application Development, User Flows, Computer Programming, Integrated Development Environments, Software Architecture, Debugging, Mobile Development, Data Validation, Data Analysis

    Beginner · Specialization · 1 - 3 Months

  • D

    Duke University

    Linear Regression and Modeling

    Skills you'll gain: Regression Analysis, R (Software), Data Analysis Software, Statistical Analysis, R Programming, Statistical Modeling, Statistical Inference, Correlation Analysis, Model Evaluation, Exploratory Data Analysis, Mathematical Modeling, Statistics, Predictive Modeling, Probability & Statistics

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

    Beginner · Course · 1 - 4 Weeks

  • C

    Coursera

    Ensure Ethical AI & Debiasing

    Skills you'll gain: Data Ethics, Responsible AI, Technical Communication, Stakeholder Communications, Model Evaluation, Data Preprocessing, Analytical Skills, Statistical Analysis, Performance Analysis, Decision Support Systems

    Intermediate · Course · 1 - 4 Weeks

  • I

    IBM

    Generative AI Engineering with LLMs

    Skills you'll gain: Prompt Engineering, Large Language Modeling, Retrieval-Augmented Generation, Generative AI, Generative Model Architectures, PyTorch (Machine Learning Library), Generative AI Agents, Vector Databases, LLM Application, Generative Adversarial Networks (GANs), Embeddings, Natural Language Processing, Hugging Face, Transfer Learning, Data Pipelines, Recurrent Neural Networks (RNNs), Data Ethics, Data Preprocessing, Artificial Intelligence, Text Mining

    4.5
    Rating, 4.5 out of 5 stars
    ·
    944 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Hands-On Projects
    Hands-On Projects
    U

    University of Illinois at Urbana-Champaign

    Master of Science in Management | iMSM

    Skills you'll gain: Business Strategy, Data Visualization, Data Storytelling, Management Accounting, Model Evaluation, Fund Accounting, Operations Management, Organizational Change, Audit Planning, Mergers & Acquisitions, Financial Statement Analysis, Project Closure, Risk Management, Social Determinants Of Health, Revenue Recognition, Entrepreneurship, Financial Auditing, Data Governance, Generative AI, Supply And Demand

    Earn a degree

    Degree · 1 - 4 Years

  • D

    DeepLearning.AI

    AI for Medical Prognosis

    Skills you'll gain: Risk Modeling, Decision Tree Learning, Predictive Modeling, Feature Engineering, Applied Machine Learning, Random Forest Algorithm, Forecasting, Model Evaluation, Data Preprocessing, Logistic Regression, Machine Learning, Statistical Analysis, Probability & Statistics, Data Analysis, Deep Learning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    800 reviews

    Intermediate · Course · 1 - 4 Weeks

  • E

    EDUCBA

    Master Power BI Analytics & Dashboards with DAX

    Skills you'll gain: Data Analysis Expressions (DAX), Power BI, Dashboard, Data Modeling, Data Import/Export, Interactive Data Visualization, Microsoft Power Platform, Data Cleansing, Business Intelligence, Data Transformation, Data Visualization Software, Data Sharing, Role-Based Access Control (RBAC), Security Strategy, Key Performance Indicators (KPIs)

    Beginner · Course · 1 - 3 Months

  • S

    SAS

    SAS Programmer

    Skills you'll gain: Data Manipulation, SAS (Software), Data Access, Data Import/Export, Microsoft Excel, Data Analysis, Data Transformation, Exploratory Data Analysis, Data Validation, Statistical Analysis, Statistical Programming, Data Processing, Data Preprocessing, Data Integration, Data Cleansing, SQL, Descriptive Statistics, Computer Programming, Data Presentation, Debugging

    Build toward a degree

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

    Beginner · Professional Certificate · 3 - 6 Months

  • E

    EDUCBA

    Analyze and Predict Prices Using Regression Techniques

    Skills you'll gain: Model Evaluation, Predictive Analytics, Feature Engineering, Regression Analysis, Data Analysis, Data Preprocessing, Data Manipulation, Data Cleansing, Data Wrangling, Forecasting, Data Validation, Workflow Management, Statistical Modeling, Data Transformation, Exploratory Data Analysis

    Beginner · Course · 1 - 4 Weeks

1…646566…377

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

  • AI Product Management: Duke University
  • Master Agentic AI: Core Principles & Real-World PC: Coursera
  • Applied Machine Learning Without Coding: Edureka
  • Apply Dart Programming from Fundamentals to Advanced: EDUCBA
  • Linear Regression and Modeling : Duke University
  • Ensure Ethical AI & Debiasing: Coursera
  • Generative AI Engineering with LLMs: IBM
  • Master of Science in Management | iMSM: University of Illinois at Urbana-Champaign
  • AI for Medical Prognosis : DeepLearning.AI
  • Master Power BI Analytics & Dashboards with DAX: EDUCBA

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