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

    IBM

    Machine Learning with Apache Spark

    Skills you'll gain: Apache Spark, Machine Learning, Generative AI, PySpark, Applied Machine Learning, Model Evaluation, Supervised Learning, Apache Hadoop, Data Pipelines, Unsupervised Learning, Data Processing, Extract, Transform, Load, Classification Algorithms, Data Transformation, Regression Analysis

    4.5
    Rating, 4.5 out of 5 stars
    ·
    113 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    I

    Illinois Tech

    Operations and Process Management

    Skills you'll gain: Process Improvement, Process Management, Business Process, Business Process Management, Process Analysis, Business Process Improvement, Performance Improvement, Quality Improvement, Continuous Improvement Process, Process Mapping, Quality Management, Operational Excellence, Return On Investment, Change Management, Performance Measurement, Risk Management, Business Technologies, Project Management, Pareto Chart, Key Performance Indicators (KPIs)

    Build toward a degree

    4.8
    Rating, 4.8 out of 5 stars
    ·
    189 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free
    Free
    U

    University of Alberta

    Astro 101: Black Holes

    Skills you'll gain: Physics, Storytelling, Scientific Methods, Science and Research, General Science and Research, Simulations, Systems Of Measurement, Scientific Visualization

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

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    P

    Pontificia Universidad Católica de Chile

    Introducción a los modelos de demanda de transporte

    Skills you'll gain: Data Collection, Transportation Operations, Surveys, Quantitative Research, Mathematical Modeling, Predictive Modeling, Statistical Methods, Regression Analysis, Model Evaluation, Logistic Regression, Spatial Analysis

    4.7
    Rating, 4.7 out of 5 stars
    ·
    462 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    G

    Google Cloud

    Recommendation Systems on Google Cloud

    Skills you'll gain: Reinforcement Learning, Embeddings, Artificial Intelligence and Machine Learning (AI/ML), Machine Learning, Applied Machine Learning, Deep Learning, Machine Learning Algorithms, Unsupervised Learning, Google Cloud Platform, Artificial Neural Networks, Feature Engineering, Data Processing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    484 reviews

    Advanced · Course · 1 - 3 Months

  • Status: Free
    Free
    U

    University of Michigan

    Michigan Sport-Related Concussion Training Certification

    Skills you'll gain: Medical Emergency, Rehabilitation, Sports Medicine, Patient Evaluation, Injury Prevention, Neurology, School Psychology, Regulatory Compliance, Long Term Care

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

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    UNSW Sydney (The University of New South Wales)

    Remote Sensing Image Acquisition, Analysis and Applications

    Skills you'll gain: Image Analysis, Unsupervised Learning, Geospatial Information and Technology, Machine Learning Methods, Computer Vision, Feature Engineering, Spatial Analysis, Machine Learning, Dimensionality Reduction, Convolutional Neural Networks, Deep Learning, Supervised Learning, Classification Algorithms, Probability & Statistics, Artificial Neural Networks

    4.7
    Rating, 4.7 out of 5 stars
    ·
    180 reviews

    Intermediate · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Statistical Estimation for Data Science and AI

    Skills you'll gain: Probability & Statistics, Statistical Inference, Probability Distribution, Statistical Methods, Statistics, Applied Mathematics, Sampling (Statistics), Statistical Modeling, Descriptive Statistics, Theoretical Computer Science

    Build toward a degree

    4.1
    Rating, 4.1 out of 5 stars
    ·
    89 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Pennsylvania

    Fundamentos Empresariales

    Skills you'll gain: Operations Management, Balance Sheet, Process Analysis, Business Operations, Operational Efficiency, Financial Statement Analysis, Financial Statements, Finance, Financial Accounting, Production Process, Operational Performance Management, Capital Budgeting, Business Process Improvement, Branding, Financial Modeling, Strategic Marketing, Marketing, Analysis, Case Studies, Business Analysis

    4.6
    Rating, 4.6 out of 5 stars
    ·
    446 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    T

    The Hong Kong University of Science and Technology

    Mastering Statics

    Skills you'll gain: Structural Analysis, Mechanics, Engineering Calculations, Mechanical Engineering, Civil Engineering, Engineering Analysis, Engineering Drawings, Geometry, Algebra, Applied Mathematics

    4.8
    Rating, 4.8 out of 5 stars
    ·
    237 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    M

    Microsoft

    Introduction to Programming With C#

    Skills you'll gain: C# (Programming Language), Object Oriented Programming (OOP), Debugging, .NET Framework, Microsoft Visual Studio, Microsoft Copilot, Computer Programming, Integrated Development Environments, Development Environment, Event-Driven Programming

    4.6
    Rating, 4.6 out of 5 stars
    ·
    104 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    J

    Johns Hopkins University

    The Unix Workbench

    Skills you'll gain: GitHub, Unix, Git (Version Control System), Unix Commands, Version Control, Bash (Scripting Language), Ubuntu, Command-Line Interface, Cloud Computing, Shell Script, Linux, Mac OS, Scripting, Scripting Languages, Programming Principles, File Management

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

    Beginner · Course · 1 - 3 Months

1…154155156…569

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

  • Machine Learning with Apache Spark: IBM
  • Operations and Process Management: Illinois Tech
  • Astro 101: Black Holes: University of Alberta
  • Introducción a los modelos de demanda de transporte: Pontificia Universidad Católica de Chile
  • Recommendation Systems on Google Cloud: Google Cloud
  • Michigan Sport-Related Concussion Training Certification : University of Michigan
  • Remote Sensing Image Acquisition, Analysis and Applications: UNSW Sydney (The University of New South Wales)
  • Statistical Estimation for Data Science and AI: University of Colorado Boulder
  • Fundamentos Empresariales: University of Pennsylvania
  • Mastering Statics: The Hong Kong University of Science and Technology

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