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

Results for "quantitative model checking"


  • D

    DeepLearning.AI

    Sequences, Time Series and Prediction

    Skills you'll gain: Tensorflow, Recurrent Neural Networks (RNNs), Time Series Analysis and Forecasting, Applied Machine Learning, Convolutional Neural Networks, Deep Learning, Predictive Modeling, Data Preprocessing, Artificial Neural Networks, Forecasting, Machine Learning

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

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Account Reconciliation and Cash Forecasting Fundamentals

    Skills you'll gain: Cash Management, Cash Flow Forecasting, Reconciliation, Fraud detection, Accounts Payable and Receivable, Accounting and Finance Software, Internal Controls, Financial Controls, Financial Forecasting, Revenue Forecasting, Financial Accounting, Accounting Records, Financial Modeling, General Ledger, Accounting, QuickBooks (Accounting Software), Financial Statements, Financial Analysis, Revenue Management, Investigation

    Beginner · Course · 1 - 3 Months

  • C

    Coursera

    Transformers Unleashed: Master the Architecture of Modern AI

    Intermediate · Professional Certificate · 3 - 6 Months

  • G

    Google

    Análisis de Datos de Google

    Skills you'll gain: Data Storytelling, Presentations, Rmarkdown, Data Presentation, Data Cleansing, Data Visualization, Ggplot2, Data Validation, Spreadsheet Software, Data Visualization Software, Data Ethics, Data Analysis, Data-Driven Decision-Making, Tableau Software, Data Literacy, Data Processing, Dashboard, Business Analysis, Stakeholder Communications, Databases

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

    Beginner · Professional Certificate · 3 - 6 Months

  • 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, Software Architecture, Debugging, Mobile Development, Data Validation, Data Analysis

    Beginner · Specialization · 1 - 3 Months

  • C

    Coursera

    Optimize AI: Build Fast Efficient Pipelines

    Skills you'll gain: Dataflow, Performance Testing, Application Performance Management, Data Pipelines, MLOps (Machine Learning Operations), Data Flow Diagrams (DFDs), Computational Thinking, Data Processing, Data Manipulation

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Build Powerful AI Agents with OpenAI Tools

    Skills you'll gain: AI Orchestration, AI Workflows, LangGraph, Generative AI Agents, Agentic systems, OpenAI API, Model Deployment, Enterprise Application Management, Tool Calling, OAuth, Middleware, Prompt Engineering, Performance Tuning, Real Time Data, Interoperability, API Gateway, LLM Application, Agentic Workflows, Enterprise Architecture, Software Development Tools

    Intermediate · Professional Certificate · 3 - 6 Months

  • D

    DeepLearning.AI

    Natural Language Processing with Probabilistic Models

    Skills you'll gain: Natural Language Processing, Markov Model, Embeddings, Text Mining, Data Preprocessing, Artificial Neural Networks, Machine Learning Methods, Algorithms, Statistical Modeling, Probability & Statistics

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

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Accounting Assistant

    Skills you'll gain: Accounts Payable and Receivable, Accounts Payable, Bookkeeping, Generally Accepted Accounting Principles (GAAP), Cash Flow Forecasting, Month End Closing, Financial Statements, Payroll Processing, Business Workflow Analysis, Billing & Invoicing, Accounting, Accounting Software, Reconciliation, Invoicing, General Ledger, Microsoft Excel, Internal Auditing, Variance Analysis, Data Transformation, Data Validation

    Beginner · Professional Certificate · 3 - 6 Months

  • E

    EDUCBA

    Apply Machine Learning for Predictive Business Analytics

    Skills you'll gain: Model Evaluation, Feature Engineering, Data Preprocessing, Financial Data, Predictive Modeling, Customer Demand Planning, Data-Driven Decision-Making, Exploratory Data Analysis, R Programming, Customer Analysis, Predictive Analytics, Profit and Loss (P&L) Management, Risk Modeling, Inventory Management System, Analytics, Advanced Analytics, Supply Chain Management, Business Analytics, Machine Learning, Business

    Beginner · Specialization · 1 - 3 Months

  • C

    Coursera

    Audit & Index Records: Fast & Flawless

    Skills you'll gain: Accounting Records, Auditing, Record Keeping, Compliance Auditing, Metadata Management, Records Management, Financial Auditing, Document Management, Organizational Skills, Operational Efficiency, Information Management, Information Architecture, QuickBooks (Accounting Software), Systems Design, File Management, Data Validation, Verification And Validation, Excel Formulas, Microsoft Excel

    Beginner · Course · 1 - 4 Weeks

  • P

    Packt

    AI & Python Development Megaclass

    Skills you'll gain: Supervised Learning, Feature Engineering, Applied Machine Learning, Object Oriented Programming (OOP), Unsupervised Learning, Model Evaluation, Recurrent Neural Networks (RNNs), Convolutional Neural Networks, Transfer Learning, Machine Learning Algorithms, Data Visualization, Natural Language Processing, Seaborn, Predictive Modeling, Flask (Web Framework), Python Programming, Deep Learning, PyTorch (Machine Learning Library), Programming Principles, Web Applications

    Beginner · Specialization · 3 - 6 Months

1…818283…398

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

  • Sequences, Time Series and Prediction: DeepLearning.AI
  • Account Reconciliation and Cash Forecasting Fundamentals: Coursera
  • Transformers Unleashed: Master the Architecture of Modern AI: Coursera
  • Análisis de Datos de Google: Google
  • Apply Dart Programming from Fundamentals to Advanced: EDUCBA
  • Optimize AI: Build Fast Efficient Pipelines: Coursera
  • Build Powerful AI Agents with OpenAI Tools: Coursera
  • Natural Language Processing with Probabilistic Models: DeepLearning.AI
  • Accounting Assistant: Coursera
  • Apply Machine Learning for Predictive Business Analytics: 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