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

Results for "model checking"


  • Status: Trending in AI
    Trending in AI
    U

    University of Washington

    Machine Learning

    Skills you'll gain: Model Evaluation, Classification Algorithms, Regression Analysis, Applied Machine Learning, Feature Engineering, Machine Learning, Image Analysis, Unsupervised Learning, Predictive Modeling, Supervised Learning, Bayesian Statistics, Logistic Regression, Statistical Modeling, Artificial Intelligence, Data Preprocessing, Deep Learning, Data Mining, Decision Tree Learning, Computer Vision, Statistical Machine Learning

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

    Intermediate · Specialization · 3 - 6 Months

  • U

    University of Washington

    Computational Neuroscience

    Skills you'll gain: Network Model, Supervised Learning, Machine Learning Algorithms, Artificial Neural Networks, Reinforcement Learning, Matlab, Mathematical Modeling, Computational Thinking, Recurrent Neural Networks (RNNs), Applied Mathematics, Physiology, Biology, Linear Algebra, Differential Equations, Probability & Statistics

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

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Eyes on AI - Computer Vision Engineering

    Skills you'll gain: Model Evaluation, Transfer Learning, PyTorch (Machine Learning Library), Model Deployment, Data Preprocessing, Technical Communication, MLOps (Machine Learning Operations), Image Analysis, Computer Vision, AI Workflows, Convolutional Neural Networks, Verification And Validation, Tensorflow, Dataflow, Performance Tuning, Performance Metric, Data Analysis, Deep Learning, Exploratory Data Analysis, Process Optimization

    Intermediate · Professional Certificate · 3 - 6 Months

  • 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

  • E

    Erasmus University Rotterdam

    Econometrics: Methods and Applications

    Skills you'll gain: Econometrics, Time Series Analysis and Forecasting, Regression Analysis, Logistic Regression, Data Analysis, Analytics, Statistical Analysis, Statistics, Case Studies, Forecasting, Model Evaluation, Probability, Linear Algebra, Peer Review

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

    Mixed · Course · 1 - 3 Months

  • D

    DeepLearning.AI

    Unsupervised Learning, Recommenders, Reinforcement Learning

    Skills you'll gain: Unsupervised Learning, Data Ethics, Machine Learning, Supervised Learning, Artificial Intelligence, Reinforcement Learning, Artificial Neural Networks, Deep Learning, Anomaly Detection, Dimensionality Reduction, Algorithms

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

    Beginner · Course · 1 - 4 Weeks

  • J

    Johns Hopkins University

    Business Analytics with Excel

    Skills you'll gain: Risk Modeling, Operations Research, Regression Analysis, Network Model, Resource Allocation, Excel Macros, Business Analytics, Risk Analysis, Simulation and Simulation Software, Business Process Modeling, Microsoft Excel, Strategic Decision-Making, Data Modeling, Business Modeling, Analysis, Data-Driven Decision-Making, Excel Formulas, Business, Spreadsheet Software, Data Analysis

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

    Beginner · Specialization · 3 - 6 Months

  • R

    Rice University

    Business Statistics and Analysis

    Skills you'll gain: Statistical Hypothesis Testing, Microsoft Excel, Statistical Methods, Pivot Tables And Charts, Regression Analysis, Statistics, Descriptive Statistics, Probability & Statistics, Graphing, Spreadsheet Software, Probability Distribution, Business Analytics, Statistical Modeling, Statistical Analysis, Statistical Inference, Excel Formulas, Data Analysis, Data Presentation, Model Evaluation, Sample Size Determination

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

    Beginner · Specialization · 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

  • U

    University of Washington

    Machine Learning Foundations: A Case Study Approach

    Skills you'll gain: Model Evaluation, Applied Machine Learning, Feature Engineering, Regression Analysis, Machine Learning, Image Analysis, Supervised Learning, Artificial Intelligence, Data Preprocessing, Deep Learning, Computer Vision, Application Development, Predictive Modeling, Unsupervised Learning, Natural Language Processing, Text Mining, Python Programming, Classification Algorithms

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

    Mixed · Course · 1 - 3 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

  • C

    Columbia University

    Construction Management

    Skills you'll gain: Project Schedules, Construction Management, Construction Estimating, Project Finance, Cost Estimation, Punch Work, Construction, Project Risk Management, Bidding, Building Information Modeling, Scheduling, Cost Control, Environment Health And Safety, Project Closure, Lean Methodologies, Timelines, Real Estate, Finance, Business Transformation, Innovation

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

    Beginner · Specialization · 3 - 6 Months

1…272829…383

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

  • Machine Learning: University of Washington
  • Computational Neuroscience: University of Washington
  • Eyes on AI - Computer Vision Engineering: Coursera
  • Cybersecurity in the AI Era: University of Maryland, College Park
  • Econometrics: Methods and Applications: Erasmus University Rotterdam
  • Unsupervised Learning, Recommenders, Reinforcement Learning: DeepLearning.AI
  • Business Analytics with Excel: Johns Hopkins University
  • Business Statistics and Analysis: Rice University
  • Reinforcement Learning: University of Alberta
  • Machine Learning Foundations: A Case Study Approach: University of Washington

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