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

Results for "model checking"


  • U

    University of Illinois Urbana-Champaign

    Business Data Management and Communication

    Skills you'll gain: Data Storytelling, Revenue Recognition, Data Visualization, Data Literacy, Accrual Accounting, Infographics, Cash Flows, Accounting, Data Collection, Data Quality, Business Analytics, Financial Statements, Financial Accounting, Business Analysis, Big Data, Analytics, Asset Management, Data Analysis, Intellectual Property, Network Model

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

    Intermediate · Specialization · 3 - 6 Months

  • P

    Packt

    Data-Driven Apps with Core Data, ML, and App Architecture

    Skills you'll gain: Apple iOS, Core Data (Software), Application Design, Swift Programming, Apple Xcode, User Interface (UI), Mobile Development, Data Store, Machine Learning Software, Software Architecture, Performance Tuning, Database Development, Database Management, Software Design, Model View Controller, User Interface and User Experience (UI/UX) Design, Application Development

    Intermediate · Course · 1 - 4 Weeks

  • D

    DeepLearning.AI

    Structuring Machine Learning Projects

    Skills you'll gain: Transfer Learning, Deep Learning, Applied Machine Learning, Machine Learning, MLOps (Machine Learning Operations), Debugging, AI Product Strategy, Model Evaluation, Data-Driven Decision-Making, Performance Tuning

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

    Beginner · Course · 1 - 4 Weeks

  • S

    SkillUp

    Machine Learning for Healthcare Applications

    Skills you'll gain: Unsupervised Learning, Feature Engineering, Model Evaluation, Applied Machine Learning, Statistical Machine Learning, Predictive Modeling, Supervised Learning, Clinical Informatics, Machine Learning, Health Informatics, Data Preprocessing, Clinical Data Management, Predictive Analytics, Patient Safety, Decision Tree Learning, Time Series Analysis and Forecasting, Logistic Regression, Forecasting, Classification Algorithms, Dimensionality Reduction

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Optimize Deep Learning Models for Peak AI

    Skills you'll gain: Model Evaluation, Deep Learning, Performance Tuning, Applied Machine Learning, Performance Improvement, Artificial Intelligence and Machine Learning (AI/ML), Performance Analysis

    Intermediate · Course · 1 - 4 Weeks

  • U

    University of Maryland, College Park

    Cybersecurity in the AI Era

    Skills you'll gain: Cybersecurity, Cyber Security Policies, Cyber Risk, Cyber Attacks, Cyber Governance, Cyber Security Strategy, Security Management, Infrastructure Security, Data Security, Threat Modeling, Computer Security, Security Awareness, Risk Management, Enterprise Security, Vulnerability, Governance, General Networking, Public Safety and National Security, Threat Detection, Artificial Intelligence

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

    Beginner · Specialization · 3 - 6 Months

  • C

    Coursera

    Deep Learning Engineering

    Skills you'll gain: Model Deployment, PyTorch (Machine Learning Library), Vision Transformer (ViT), Model Evaluation, Transfer Learning, MLOps (Machine Learning Operations), Natural Language Processing, Debugging, Containerization, Kubernetes, Docker (Software), Distributed Computing, Performance Tuning, Applied Machine Learning, Dataflow, Tensorflow, Deep Learning, Cloud Computing, Data Pipelines, Computer Vision

    Advanced · Specialization · 1 - 3 Months

  • C

    Coursera

    Optimizing and Governing AI Systems

    Skills you'll gain: Responsible AI, Risking, Data Ethics, Model Deployment, MLOps (Machine Learning Operations), AI Enablement, AI Product Strategy, System Monitoring, Model Evaluation, Performance Tuning, Compliance Management, Technology Roadmaps, Prompt Engineering, Machine Learning, Risk Management, Generative AI, Data-Driven Decision-Making, Performance Analysis, Statistical Analysis, Cross-Functional Collaboration

    Intermediate · Course · 3 - 6 Months

  • U

    University of Alberta

    Reinforcement Learning

    Skills you'll gain: Reinforcement Learning, Machine Learning, Sampling (Statistics), Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Algorithms, Artificial Intelligence, Deep Learning, Simulations, Feature Engineering, Markov Model, Supervised Learning, Algorithms, Model Evaluation, Artificial Neural Networks, Performance Testing, Performance Tuning, Pseudocode, Linear Algebra, Probability Distribution

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

    Intermediate · Specialization · 3 - 6 Months

  • S

    Stanford University

    Game Theory

    Skills you'll gain: Game Theory, Mathematical Modeling, Graph Theory, Bayesian Statistics, Behavioral Economics, Probability, Economics, Problem Solving, Algorithms, Probability Distribution

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

    Beginner · Course · 1 - 3 Months

  • E

    Edureka

    Getting Started with Automated Machine Learning (AutoML)

    Skills you'll gain: Model Deployment, MLOps (Machine Learning Operations), Automation, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning Methods, No-Code Development, Data Preprocessing, Scikit Learn (Machine Learning Library), Machine Learning, Model Evaluation, Applied Machine Learning, Predictive Modeling, Feature Engineering, Data-Driven Decision-Making, Machine Learning Algorithms, Artificial Intelligence, Scalability, Performance Tuning, Performance Metric

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Pennsylvania

    Fundamentals of Quantitative Modeling

    Skills you'll gain: Business Modeling, Mathematical Modeling, Regression Analysis, Statistical Modeling, Risk Analysis, Forecasting, Predictive Analytics, Business Analytics, Simulation and Simulation Software, Probability, Logistic Regression, Vocabulary

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

    Mixed · Course · 1 - 4 Weeks

1…232425…380

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

  • Business Data Management and Communication: University of Illinois Urbana-Champaign
  • Data-Driven Apps with Core Data, ML, and App Architecture: Packt
  • Structuring Machine Learning Projects: DeepLearning.AI
  • Machine Learning for Healthcare Applications: SkillUp
  • Optimize Deep Learning Models for Peak AI: Coursera
  • Cybersecurity in the AI Era: University of Maryland, College Park
  • Deep Learning Engineering: Coursera
  • Optimizing and Governing AI Systems: Coursera
  • Reinforcement Learning: University of Alberta
  • Game Theory: Stanford University

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