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

Results for "infinite-state stochastic model checking methods"


  • Status: New
    New
    Status: Free Trial
    Free Trial
    C

    Coursera

    Data Analysis with Excel Pivot Tables

    Skills you'll gain: Marketing Analytics, Pivot Tables And Charts, Advanced Analytics, Descriptive Statistics, Microsoft Excel, Descriptive Analytics, Data Import/Export, Spreadsheet Software, Marketing Effectiveness, Data-Driven Decision-Making, Marketing Strategies, Statistics, Data Analysis, Statistical Methods, Small Data, Data Wrangling, Data Transformation

    Beginner · Course · 1 - 4 Weeks

  • I

    IBM

    Introduction to Computer Vision and Image Processing

    Skills you'll gain: Computer Vision, Convolutional Neural Networks, Transfer Learning, Model Evaluation, Machine Learning Methods, Classification Algorithms, Machine Learning Algorithms, Visualization (Computer Graphics), Deep Learning, Feature Engineering, Network Architecture

    4.3
    Rating, 4.3 out of 5 stars
    ·
    1.4K reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    I

    IBM

    Generative AI for Data Engineers

    Skills you'll gain: Prompt Engineering, Prompt Patterns, ChatGPT, Generative AI, Generative Model Architectures, Database Design, Data Pipelines, Query Languages, Extract, Transform, Load, Snowflake Schema, Star Schema, Responsible AI, Data Warehousing, Data Ethics, Artificial Intelligence and Machine Learning (AI/ML), AI Workflows, Deep Learning, Augmented and Virtual Reality (AR/VR), Machine Learning, Context Management

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

    Intermediate · Specialization · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Interactivity with JavaScript

    Skills you'll gain: Javascript, Interactive Design, HTML and CSS, Web Design and Development, Web Content Accessibility Guidelines, Event-Driven Programming, User Interface (UI), Web Development, Data Structures, Debugging, Data Validation

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    DeepLearning.AI

    Mathematics for Machine Learning and Data Science

    Skills you'll gain: Descriptive Statistics, Bayesian Statistics, Statistical Hypothesis Testing, Probability & Statistics, Sampling (Statistics), Probability Distribution, Linear Algebra, Statistical Inference, A/B Testing, Statistical Analysis, Applied Mathematics, NumPy, Probability, Calculus, Dimensionality Reduction, Numerical Analysis, Machine Learning Algorithms, Data Preprocessing, Machine Learning, Machine Learning Methods

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

    Intermediate · Specialization · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    SkillUp

    Machine Learning for Medical Data

    Skills you'll gain: Healthcare Ethics, Health Informatics, Machine Learning, Deep Learning, Machine Learning Software, Clinical Informatics, Statistical Machine Learning, Convolutional Neural Networks, Data Preprocessing, Predictive Modeling, Electronic Medical Record System, Machine Learning Algorithms, Recurrent Neural Networks (RNNs), Model Evaluation, Data Analysis

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Alberta

    Software Design and Architecture

    Skills you'll gain: Software Architecture, Model View Controller, Unified Modeling Language, Object Oriented Design, Service Oriented Architecture, API Design, Web Services, Software Design Patterns, Software Design, Simple Object Access Protocol (SOAP), Microservices, Restful API, Code Review, Product Family Engineering, Software Systems, Object Oriented Programming (OOP), Software Development, Java, Software Documentation, Maintainability

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Virginia

    Fundamentals of Project Planning and Management

    Skills you'll gain: Stakeholder Analysis, Planning, Project Planning, Earned Value Management, Project Risk Management, Scheduling, Stakeholder Management, Risk Management, Project Management, Project Scoping, Project Schedules, Risk Analysis, Dependency Analysis, Agile Methodology, Kanban Principles

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Finance & Quantitative Modeling for Analysts

    Skills you'll gain: Financial Reporting, Return On Investment, Financial Acumen, Financial Data, Capital Budgeting, Financial Statements, Business Modeling, Mathematical Modeling, Finance, Regression Analysis, Financial Modeling, Statistical Modeling, Income Statement, Risk Analysis, Financial Analysis, Spreadsheet Software, Capital Expenditure, Excel Formulas, Microsoft Excel, Corporate Finance

    4.5
    Rating, 4.5 out of 5 stars
    ·
    17K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    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

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Genomic Data Science

    Skills you'll gain: Bioinformatics, Unix Commands, Biostatistics, Exploratory Data Analysis, Statistical Analysis, Unix, Data Science, Data Management, Statistical Methods, Command-Line Interface, Statistical Hypothesis Testing, Linux Commands, Data Analysis Software, Data Quality, Data Structures, Data Analysis, Computer Science, Molecular Biology, R Programming, Python Programming

    4.5
    Rating, 4.5 out of 5 stars
    ·
    6.8K reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    U

    University of Toronto

    Introduction to Psychology

    Skills you'll gain: Psychology, Mental Health Diseases and Disorders, Mental Health Therapies, Human Development, Mental Health, Social Sciences, Scientific Methods, Neurology, Experimentation, Cultural Diversity

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

    Mixed · Course · 1 - 3 Months

1…444546…563

In summary, here are 10 of our most popular infinite-state stochastic model checking methods courses

  • Data Analysis with Excel Pivot Tables: Coursera
  • Introduction to Computer Vision and Image Processing: IBM
  • Generative AI for Data Engineers: IBM
  • Interactivity with JavaScript: University of Michigan
  • Mathematics for Machine Learning and Data Science: DeepLearning.AI
  • Machine Learning for Medical Data : SkillUp
  • Software Design and Architecture: University of Alberta
  • Fundamentals of Project Planning and Management: University of Virginia
  • Finance & Quantitative Modeling for Analysts: University of Pennsylvania
  • Structuring Machine Learning Projects: DeepLearning.AI

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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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